Index of /lambdadelta/static/matita/lambdadelta/basic_1/subst1/subst1

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[TXT]subst1_trans.con.html2008-06-18 20:47 3.7K 
[TXT]subst1_confluence_eq.con.html2008-06-18 20:47 4.9K 
[TXT]subst1_confluence_lift.con.html2008-06-18 20:47 5.4K 
[TXT]subst1_subst1.con.html2008-06-18 20:47 6.1K 
[TXT]subst1_subst1_back.con.html2008-06-18 20:47 6.1K 
[TXT]subst1_confluence_neq.con.html2008-06-18 20:47 6.4K 
[TXT]subst1_trans.con.body.html2008-06-18 20:47 28K 
[TXT]subst1_confluence_neq.con.body.html2008-06-18 20:47 81K 
[TXT]subst1_subst1_back.con.body.html2008-06-18 20:47 86K 
[TXT]subst1_subst1.con.body.html2008-06-18 20:47 108K 
[TXT]subst1_confluence_eq.con.body.html2008-06-18 20:47 108K 
[TXT]subst1_confluence_lift.con.body.html2008-06-18 20:47 126K 

Apache/2.4.61 (Debian) Server at helm.cs.unibo.it Port 80