Index of /xml/Rocq/COC/Ered

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]Ered.ind.types.xml.gz2004-04-08 14:37 186  
[ ]Econv.ind.types.xml.gz2004-04-08 14:37 188  
[ ]Ered1.ind.types.xml.gz2004-04-08 14:37 188  
[ ]Enormal.con.types.xml.gz2004-04-08 14:37 192  
[ ]Epar_red.con.types.xml.gz2004-04-08 14:37 195  
[ ]Epar_red1.ind.types.xml.gz2004-04-08 14:37 197  
[ ]mem_sort2.ind.types.xml.gz2004-04-08 14:37 197  
[ ]confluence_Epar_red.con.xml.gz2004-04-08 14:37 288  
[ ]Enormal.con.xml.gz2004-04-08 14:37 292  
[ ]confluence_Ered.con.xml.gz2004-04-08 14:37 295  
[ ]Epar_red.con.xml.gz2004-04-08 14:37 304  
[ ]str_confluence_Epar_red1.con.xml.gz2004-04-08 14:37 314  
[ ]Epar_red.con.body.xml.gz2004-04-08 14:37 345  
[ ]refl_Epar_red1.con.xml.gz2004-04-08 14:37 372  
[ ]red_Ered.con.xml.gz2004-04-08 14:37 416  
[ ]conv_Econv.con.xml.gz2004-04-08 14:37 417  
[ ]Ered_Econv.con.xml.gz2004-04-08 14:37 419  
[ ]red1_Ered1.con.xml.gz2004-04-08 14:37 419  
[ ]sym_Econv.con.xml.gz2004-04-08 14:37 419  
[ ]Ered1_Epar_red1.con.xml.gz2004-04-08 14:37 430  
[ ]mem_sort2_mem_sort.con.xml.gz2004-04-08 14:37 431  
[ ]Ered_Epar_red.con.xml.gz2004-04-08 14:37 432  
[ ]strip_lemma_Epar_red1.con.xml.gz2004-04-08 14:37 432  
[ ]Epar_red1_Epar_red.con.xml.gz2004-04-08 14:37 436  
[ ]Epar_red_Ered.con.xml.gz2004-04-08 14:37 436  
[ ]one_step_Econv_exp.con.xml.gz2004-04-08 14:37 436  
[ ]Enormal.con.body.xml.gz2004-04-08 14:37 452  
[ ]trans_Ered_Ered.con.xml.gz2004-04-08 14:37 462  
[ ]trans_Econv_Econv.con.xml.gz2004-04-08 14:37 467  
[ ]Ered_sort_mem.con.xml.gz2004-04-08 14:37 470  
[ ]Ered_sort_mem2.con.xml.gz2004-04-08 14:37 475  
[ ]Ered1_sort_mem.con.xml.gz2004-04-08 14:37 477  
[ ]Ered_Enormal.con.xml.gz2004-04-08 14:37 482  
[ ]Econv_abs.con.xml.gz2004-04-08 14:37 497  
[ ]subst_Ered1_r.con.xml.gz2004-04-08 14:37 502  
[ ]Econv_sort_prod.con.xml.gz2004-04-08 14:37 505  
[ ]not_Ered_Abs_sort.con.xml.gz2004-04-08 14:37 507  
[ ]Econv_Type_abs.con.xml.gz2004-04-08 14:37 518  
[ ]inv_Econv_prod_r.con.xml.gz2004-04-08 14:37 522  
[ ]one_step_Econv_exp.con.body.xml.gz2004-04-08 14:37 523  
[ ]inv_Econv_prod_l.con.xml.gz2004-04-08 14:37 525  
[ ]one_step_Econv_exp.con.types.xml.gz2004-04-08 14:37 529  
[ ]mem_sort2_lift.con.xml.gz2004-04-08 14:37 532  
[ ]Ered1_lift.con.xml.gz2004-04-08 14:37 539  
[ ]subst_Ered1_r.con.body.xml.gz2004-04-08 14:37 539  
[ ]Ered_sort_mem.con.body.xml.gz2004-04-08 14:37 543  
[ ]Ered1_subst_r.con.xml.gz2004-04-08 14:37 544  
[ ]Ered1_subst_l.con.xml.gz2004-04-08 14:37 546  
[ ]Ered_Ered_abs.con.xml.gz2004-04-08 14:37 548  
[ ]Ered_Ered_app.con.xml.gz2004-04-08 14:37 548  
[ ]Epar_red1_lift.con.xml.gz2004-04-08 14:37 549  
[ ]Ered_Ered_prod.con.xml.gz2004-04-08 14:37 550  
[ ]Econv_Econv_lift.con.xml.gz2004-04-08 14:37 553  
[ ]Econv_Econv_app.con.xml.gz2004-04-08 14:37 557  
[ ]Econv_Econv_prod.con.xml.gz2004-04-08 14:37 558  
[ ]subst_rec_Ered1_r.con.xml.gz2004-04-08 14:37 560  
[ ]Ered_sort_mem.con.types.xml.gz2004-04-08 14:37 569  
[ ]Econv_church_rosser.con.xml.gz2004-04-08 14:37 573  
[ ]mem_sort2_subst.con.xml.gz2004-04-08 14:37 581  
[ ]Ered.ind.xml.gz2004-04-08 14:37 598  
[ ]Econv_Econv_subst.con.xml.gz2004-04-08 14:37 599  
[ ]Epar_red1_subst.con.xml.gz2004-04-08 14:37 602  
[ ]Ered_ind.con.xml.gz2004-04-08 14:37 654  
[ ]inv_Ered_Abs.con.xml.gz2004-04-08 14:37 659  
[ ]Ered1_Ered_ind.con.xml.gz2004-04-08 14:37 669  
[ ]inv_Epar_red_abs.con.xml.gz2004-04-08 14:37 681  
[ ]Ered_Econv.con.types.xml.gz2004-04-08 14:37 693  
[ ]Ered_prod_prod.con.xml.gz2004-04-08 14:37 709  
[ ]Epar_red1_Epar_red.con.body.xml.gz2004-04-08 14:37 714  
[ ]subst_Ered1_r.con.types.xml.gz2004-04-08 14:37 716  
[ ]Econv.ind.xml.gz2004-04-08 14:37 723  
[ ]red_Ered.con.types.xml.gz2004-04-08 14:37 726  
[ ]Epar_red1_Epar_red.con.types.xml.gz2004-04-08 14:37 727  
[ ]Econv_ind.con.xml.gz2004-04-08 14:37 808  
[ ]Ered_Econv.con.body.xml.gz2004-04-08 14:37 809  
[ ]red_Ered.con.body.xml.gz2004-04-08 14:37 841  
[ ]conv_Econv.con.types.xml.gz2004-04-08 14:37 937  
[ ]Econv_Type_abs.con.body.xml.gz2004-04-08 14:37 1.0K 
[ ]Ered_Epar_red.con.types.xml.gz2004-04-08 14:37 1.0K 
[ ]Ered_ind.con.types.xml.gz2004-04-08 14:37 1.0K 
[ ]refl_Epar_red1.con.body.xml.gz2004-04-08 14:37 1.0K 
[ ]Econv_Type_abs.con.types.xml.gz2004-04-08 14:37 1.0K 
[ ]conv_Econv.con.body.xml.gz2004-04-08 14:37 1.0K 
[ ]mem_sort2.ind.xml.gz2004-04-08 14:37 1.1K 
[ ]Ered_Epar_red.con.body.xml.gz2004-04-08 14:37 1.1K 
[ ]mem_sort2_ind.con.xml.gz2004-04-08 14:37 1.2K 
[ ]Ered_ind.con.body.xml.gz2004-04-08 14:37 1.2K 
[ ]trans_Ered_Ered.con.body.xml.gz2004-04-08 14:37 1.2K 
[ ]mem_sort2_mem_sort.con.body.xml.gz2004-04-08 14:37 1.3K 
[ ]trans_Ered_Ered.con.types.xml.gz2004-04-08 14:37 1.3K 
[ ]Econv_ind.con.types.xml.gz2004-04-08 14:37 1.3K 
[ ]Econv_abs.con.body.xml.gz2004-04-08 14:37 1.3K 
[ ]trans_Econv_Econv.con.types.xml.gz2004-04-08 14:37 1.3K 
[ ]Econv_abs.con.types.xml.gz2004-04-08 14:37 1.3K 
[ ]refl_Epar_red1.con.types.xml.gz2004-04-08 14:37 1.3K 
[ ]red1_Ered1.con.body.xml.gz2004-04-08 14:37 1.4K 
[ ]Econv_Econv_lift.con.body.xml.gz2004-04-08 14:37 1.4K 
[ ]confluence_Ered.con.body.xml.gz2004-04-08 14:37 1.5K 
[ ]Ered1.ind.xml.gz2004-04-08 14:37 1.5K 
[ ]Econv_Econv_lift.con.types.xml.gz2004-04-08 14:37 1.5K 
[ ]trans_Econv_Econv.con.body.xml.gz2004-04-08 14:37 1.5K 
[ ]mem_sort2_mem_sort.con.types.xml.gz2004-04-08 14:37 1.5K 
[ ]Epar_red1.ind.xml.gz2004-04-08 14:37 1.5K 
[ ]Econv_ind.con.body.xml.gz2004-04-08 14:37 1.5K 
[ ]Ered_Ered_abs.con.types.xml.gz2004-04-08 14:37 1.8K 
[ ]Ered_Ered_app.con.types.xml.gz2004-04-08 14:37 1.8K 
[ ]Ered_Ered_prod.con.types.xml.gz2004-04-08 14:37 1.8K 
[ ]Ered1_ind.con.xml.gz2004-04-08 14:37 1.8K 
[ ]Ered_Ered_abs.con.body.xml.gz2004-04-08 14:37 1.8K 
[ ]Ered_Ered_app.con.body.xml.gz2004-04-08 14:37 1.8K 
[ ]Ered_Ered_prod.con.body.xml.gz2004-04-08 14:37 1.8K 
[ ]Ered_Enormal.con.body.xml.gz2004-04-08 14:37 1.8K 
[ ]Ered1_Epar_red1.con.body.xml.gz2004-04-08 14:37 1.8K 
[ ]Epar_red1_ind.con.xml.gz2004-04-08 14:37 1.9K 
[ ]Ered_Enormal.con.types.xml.gz2004-04-08 14:37 1.9K 
[ ]red1_Ered1.con.types.xml.gz2004-04-08 14:37 2.0K 
[ ]confluence_Ered.con.types.xml.gz2004-04-08 14:37 2.1K 
[ ]mem_sort2_ind.con.types.xml.gz2004-04-08 14:37 2.1K 
[ ]mem_sort2_ind.con.body.xml.gz2004-04-08 14:37 2.2K 
[ ]Econv_Econv_app.con.types.xml.gz2004-04-08 14:37 2.3K 
[ ]Econv_Econv_prod.con.types.xml.gz2004-04-08 14:37 2.3K 
[ ]Econv_Econv_app.con.body.xml.gz2004-04-08 14:37 2.3K 
[ ]Econv_Econv_prod.con.body.xml.gz2004-04-08 14:37 2.3K 
[ ]sym_Econv.con.types.xml.gz2004-04-08 14:37 2.3K 
[ ]sym_Econv.con.body.xml.gz2004-04-08 14:37 2.5K 
[ ]Ered1_Epar_red1.con.types.xml.gz2004-04-08 14:37 2.6K 
[ ]Econv_Econv_subst.con.body.xml.gz2004-04-08 14:37 2.7K 
[ ]Econv_Econv_subst.con.types.xml.gz2004-04-08 14:37 2.8K 
[ ]Ered1_Ered_ind.con.body.xml.gz2004-04-08 14:37 2.9K 
[ ]Epar_red_Ered.con.body.xml.gz2004-04-08 14:37 3.0K 
[ ]inv_Econv_prod_l.con.types.xml.gz2004-04-08 14:37 3.1K 
[ ]Econv_church_rosser.con.body.xml.gz2004-04-08 14:37 3.2K 
[ ]inv_Econv_prod_r.con.types.xml.gz2004-04-08 14:37 3.2K 
[ ]INDEX2005-07-05 08:12 3.3K 
[ ]Econv_church_rosser.con.types.xml.gz2004-04-08 14:37 3.4K 
[ ]Ered1_ind.con.body.xml.gz2004-04-08 14:37 3.4K 
[ ]Epar_red_Ered.con.types.xml.gz2004-04-08 14:37 3.4K 
[ ]subst_rec_Ered1_r.con.body.xml.gz2004-04-08 14:37 3.6K 
[ ]Epar_red1_ind.con.body.xml.gz2004-04-08 14:37 3.6K 
[ ]inv_Econv_prod_l.con.body.xml.gz2004-04-08 14:37 3.7K 
[ ]Ered1_lift.con.body.xml.gz2004-04-08 14:37 3.8K 
[ ]Ered1_subst_r.con.body.xml.gz2004-04-08 14:37 3.8K 
[ ]inv_Econv_prod_r.con.body.xml.gz2004-04-08 14:37 3.8K 
[ ]Ered1_Ered_ind.con.types.xml.gz2004-04-08 14:37 3.8K 
[ ]confluence_Epar_red.con.body.xml.gz2004-04-08 14:37 4.0K 
[ ]Ered1_ind.con.types.xml.gz2004-04-08 14:37 4.0K 
[ ]Epar_red1_ind.con.types.xml.gz2004-04-08 14:37 4.1K 
[ ]strip_lemma_Epar_red1.con.body.xml.gz2004-04-08 14:37 4.2K 
[ ]Epar_red1_lift.con.body.xml.gz2004-04-08 14:37 4.4K 
[ ]confluence_Epar_red.con.types.xml.gz2004-04-08 14:37 4.5K 
[ ]strip_lemma_Epar_red1.con.types.xml.gz2004-04-08 14:37 5.4K 
[ ]subst_rec_Ered1_r.con.types.xml.gz2004-04-08 14:37 6.2K 
[ ]Ered1_subst_r.con.types.xml.gz2004-04-08 14:37 6.5K 
[ ]Ered1_lift.con.types.xml.gz2004-04-08 14:37 6.5K 
[ ]Epar_red1_lift.con.types.xml.gz2004-04-08 14:37 6.9K 
[ ]Ered1_subst_l.con.body.xml.gz2004-04-08 14:37 7.1K 
[ ]Epar_red1_subst.con.body.xml.gz2004-04-08 14:37 8.3K 
[ ]Econv_sort_prod.con.body.xml.gz2004-04-08 14:37 9.9K 
[ ]Econv_sort_prod.con.types.xml.gz2004-04-08 14:37 11K 
[ ]Ered1_sort_mem.con.body.xml.gz2004-04-08 14:37 12K 
[ ]inv_Epar_red_abs.con.body.xml.gz2004-04-08 14:37 15K 
[ ]Ered1_sort_mem.con.types.xml.gz2004-04-08 14:37 15K 
[ ]Ered1_subst_l.con.types.xml.gz2004-04-08 14:37 16K 
[ ]Ered_prod_prod.con.body.xml.gz2004-04-08 14:37 16K 
[ ]Ered_prod_prod.con.types.xml.gz2004-04-08 14:37 17K 
[ ]Epar_red1_subst.con.types.xml.gz2004-04-08 14:37 18K 
[ ]not_Ered_Abs_sort.con.types.xml.gz2004-04-08 14:37 20K 
[ ]not_Ered_Abs_sort.con.body.xml.gz2004-04-08 14:37 20K 
[ ]inv_Ered_Abs.con.body.xml.gz2004-04-08 14:37 21K 
[ ]inv_Epar_red_abs.con.types.xml.gz2004-04-08 14:37 25K 
[ ]inv_Ered_Abs.con.types.xml.gz2004-04-08 14:37 31K 
[ ]mem_sort2_lift.con.body.xml.gz2004-04-08 14:37 39K 
[ ]mem_sort2_lift.con.types.xml.gz2004-04-08 14:37 51K 
[ ]mem_sort2_subst.con.body.xml.gz2004-04-08 14:37 52K 
[ ]Ered_sort_mem2.con.body.xml.gz2004-04-08 14:37 58K 
[ ]Ered_sort_mem2.con.types.xml.gz2004-04-08 14:37 73K 
[ ]mem_sort2_subst.con.types.xml.gz2004-04-08 14:37 80K 
[ ]str_confluence_Epar_red1.con.body.xml.gz2004-04-08 14:37 213K 
[ ]str_confluence_Epar_red1.con.types.xml.gz2004-04-08 14:37 383K 
Apache/2.4.61 (Debian) Server at mowgli.cs.unibo.it Port 80