Index of /xml/Rocq/LAMBDA/Substitution

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]lift_r.con.types.xml.gz2004-04-08 14:22 202  
[ ]subst_r.con.types.xml.gz2004-04-08 14:22 202  
[ ]lift_rec_r.con.types.xml.gz2004-04-08 14:22 209  
[ ]subst_rec_r.con.types.xml.gz2004-04-08 14:22 209  
[ ]insert_Var.con.types.xml.gz2004-04-08 14:22 210  
[ ]subst_r.con.xml.gz2004-04-08 14:22 297  
[ ]lift_r.con.xml.gz2004-04-08 14:22 310  
[ ]insert_Var.con.xml.gz2004-04-08 14:22 328  
[ ]lift_rec_r.con.xml.gz2004-04-08 14:22 330  
[ ]subst_rec_r.con.xml.gz2004-04-08 14:22 330  
[ ]liftO.con.body.xml.gz2004-04-08 14:22 405  
[ ]subst_r.con.body.xml.gz2004-04-08 14:22 426  
[ ]lift_r.con.body.xml.gz2004-04-08 14:22 427  
[ ]liftO.con.xml.gz2004-04-08 14:22 446  
[ ]substitution.con.body.xml.gz2004-04-08 14:22 477  
[ ]liftrecO.con.xml.gz2004-04-08 14:22 484  
[ ]subst_preserve_regular.con.xml.gz2004-04-08 14:22 490  
[ ]lift_rec_preserve_regular.con.xml.gz2004-04-08 14:22 524  
[ ]subst_eq.con.xml.gz2004-04-08 14:22 525  
[ ]lift_lift.con.body.xml.gz2004-04-08 14:22 535  
[ ]subst_rec_preserve_regular.con.xml.gz2004-04-08 14:22 554  
[ ]subst_preserve_regular.con.body.xml.gz2004-04-08 14:22 565  
[ ]lift_rec_preserve_comp.con.xml.gz2004-04-08 14:22 568  
[ ]subst_preserve_comp.con.xml.gz2004-04-08 14:22 572  
[ ]lift_gt.con.xml.gz2004-04-08 14:22 582  
[ ]subst_lt.con.xml.gz2004-04-08 14:22 585  
[ ]subst_gt.con.xml.gz2004-04-08 14:22 597  
[ ]liftO.con.types.xml.gz2004-04-08 14:22 599  
[ ]lift_lift.con.xml.gz2004-04-08 14:22 601  
[ ]lift_le.con.xml.gz2004-04-08 14:22 602  
[ ]lift1.con.xml.gz2004-04-08 14:22 609  
[ ]subst_rec_lift1.con.xml.gz2004-04-08 14:22 614  
[ ]subst_preserve_comp.con.body.xml.gz2004-04-08 14:22 624  
[ ]subst_rec_preserve_comp.con.xml.gz2004-04-08 14:22 624  
[ ]subst_rec_lift.con.xml.gz2004-04-08 14:22 631  
[ ]lift_rec_lift.con.xml.gz2004-04-08 14:22 633  
[ ]lift_subst.con.xml.gz2004-04-08 14:22 638  
[ ]substitution.con.xml.gz2004-04-08 14:22 641  
[ ]subst_rec_subst_0.con.xml.gz2004-04-08 14:22 655  
[ ]subst_preserve_regular.con.types.xml.gz2004-04-08 14:22 665  
[ ]lift_lift_rec.con.xml.gz2004-04-08 14:22 669  
[ ]subst_rec_lift_rec1.con.xml.gz2004-04-08 14:22 688  
[ ]lift_rec_lift_rec.con.xml.gz2004-04-08 14:22 707  
[ ]subst_rec_subst_rec.con.xml.gz2004-04-08 14:22 727  
[ ]lift_rec_subst_rec.con.xml.gz2004-04-08 14:22 731  
[ ]subst_rec_lift_rec.con.xml.gz2004-04-08 14:22 735  
[ ]subst_preserve_comp.con.types.xml.gz2004-04-08 14:22 793  
[ ]lift_rec_r.con.body.xml.gz2004-04-08 14:22 971  
[ ]subst_rec_r.con.body.xml.gz2004-04-08 14:22 1.0K 
[ ]lift_lift.con.types.xml.gz2004-04-08 14:22 1.0K 
[ ]subst_rec_lift1.con.body.xml.gz2004-04-08 14:22 1.0K 
[ ]substitution.con.types.xml.gz2004-04-08 14:22 1.0K 
[ ]lift_rec_lift.con.body.xml.gz2004-04-08 14:22 1.0K 
[ ]subst_rec_lift.con.body.xml.gz2004-04-08 14:22 1.1K 
[ ]insert_Var.con.body.xml.gz2004-04-08 14:22 1.2K 
[ ]lift_rec_lift.con.types.xml.gz2004-04-08 14:22 1.2K 
[ ]subst_rec_lift.con.types.xml.gz2004-04-08 14:22 1.2K 
[ ]subst_rec_lift1.con.types.xml.gz2004-04-08 14:22 1.2K 
[ ]lift_subst.con.body.xml.gz2004-04-08 14:22 1.4K 
[ ]subst_rec_subst_0.con.body.xml.gz2004-04-08 14:22 1.5K 
[ ]lift_gt.con.body.xml.gz2004-04-08 14:22 1.7K 
[ ]lift_le.con.body.xml.gz2004-04-08 14:22 1.7K 
[ ]INDEX2005-07-05 08:12 1.7K 
[ ]lift_subst.con.types.xml.gz2004-04-08 14:22 1.8K 
[ ]subst_rec_subst_0.con.types.xml.gz2004-04-08 14:22 1.9K 
[ ]lift_rec_preserve_comp.con.body.xml.gz2004-04-08 14:22 1.9K 
[ ]liftrecO.con.body.xml.gz2004-04-08 14:22 2.5K 
[ ]lift_rec_preserve_comp.con.types.xml.gz2004-04-08 14:22 2.7K 
[ ]lift_gt.con.types.xml.gz2004-04-08 14:22 2.9K 
[ ]subst_lt.con.body.xml.gz2004-04-08 14:22 3.0K 
[ ]subst_eq.con.body.xml.gz2004-04-08 14:22 3.1K 
[ ]lift_le.con.types.xml.gz2004-04-08 14:22 3.1K 
[ ]subst_gt.con.body.xml.gz2004-04-08 14:22 3.4K 
[ ]liftrecO.con.types.xml.gz2004-04-08 14:22 4.1K 
[ ]subst_rec_preserve_comp.con.body.xml.gz2004-04-08 14:22 5.0K 
[ ]subst_lt.con.types.xml.gz2004-04-08 14:22 5.5K 
[ ]subst_eq.con.types.xml.gz2004-04-08 14:22 6.7K 
[ ]subst_gt.con.types.xml.gz2004-04-08 14:22 7.3K 
[ ]lift_rec_lift_rec.con.body.xml.gz2004-04-08 14:22 10K 
[ ]lift1.con.body.xml.gz2004-04-08 14:22 10K 
[ ]lift_rec_preserve_regular.con.body.xml.gz2004-04-08 14:22 12K 
[ ]subst_rec_preserve_comp.con.types.xml.gz2004-04-08 14:22 13K 
[ ]subst_rec_preserve_regular.con.body.xml.gz2004-04-08 14:22 15K 
[ ]subst_rec_lift_rec.con.body.xml.gz2004-04-08 14:22 16K 
[ ]lift1.con.types.xml.gz2004-04-08 14:22 21K 
[ ]lift_rec_preserve_regular.con.types.xml.gz2004-04-08 14:22 24K 
[ ]lift_lift_rec.con.body.xml.gz2004-04-08 14:22 25K 
[ ]lift_rec_lift_rec.con.types.xml.gz2004-04-08 14:22 25K 
[ ]subst_rec_subst_rec.con.body.xml.gz2004-04-08 14:22 27K 
[ ]subst_rec_preserve_regular.con.types.xml.gz2004-04-08 14:22 31K 
[ ]subst_rec_lift_rec1.con.body.xml.gz2004-04-08 14:22 36K 
[ ]subst_rec_lift_rec.con.types.xml.gz2004-04-08 14:22 47K 
[ ]subst_rec_subst_rec.con.types.xml.gz2004-04-08 14:22 54K 
[ ]lift_lift_rec.con.types.xml.gz2004-04-08 14:22 61K 
[ ]lift_rec_subst_rec.con.body.xml.gz2004-04-08 14:22 68K 
[ ]subst_rec_lift_rec1.con.types.xml.gz2004-04-08 14:22 87K 
[ ]lift_rec_subst_rec.con.types.xml.gz2004-04-08 14:22 249K 
Apache/2.4.61 (Debian) Server at mowgli.cs.unibo.it Port 80