Index of /xml/Rocq/COC/Equiv

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]is_lam.con.types.xml.gz2004-04-08 14:37 193  
[ ]NF_Econv.ind.types.xml.gz2004-04-08 14:37 196  
[ ]equiv_env.ind.types.xml.gz2004-04-08 14:37 197  
[ ]is_lam.con.xml.gz2004-04-08 14:37 290  
[ ]normal_prop.con.xml.gz2004-04-08 14:37 322  
[ ]refl_equiv_env.con.xml.gz2004-04-08 14:37 391  
[ ]refl_NF_Econv.con.xml.gz2004-04-08 14:37 415  
[ ]NF_Econv_Econv.con.xml.gz2004-04-08 14:37 427  
[ ]sym_NF_Econv.con.xml.gz2004-04-08 14:37 429  
[ ]Ered1_normal_normal.con.xml.gz2004-04-08 14:37 459  
[ ]Etyp_typ.con.xml.gz2004-04-08 14:37 470  
[ ]normal_normal_abs.con.xml.gz2004-04-08 14:37 479  
[ ]trans_NF_Econv_NF_Econv.con.xml.gz2004-04-08 14:37 480  
[ ]Ered_normal_NF_Econv.con.xml.gz2004-04-08 14:37 481  
[ ]normal_normal_prod.con.xml.gz2004-04-08 14:37 481  
[ ]Ered1_normal_NF_Econv.con.xml.gz2004-04-08 14:37 488  
[ ]normal_Econv_NF_conv.con.xml.gz2004-04-08 14:37 504  
[ ]normal_abs_inv.con.xml.gz2004-04-08 14:37 512  
[ ]normal_prod_inv.con.xml.gz2004-04-08 14:37 513  
[ ]NF_Econv_not_is_lam.con.xml.gz2004-04-08 14:37 514  
[ ]is_lam.con.body.xml.gz2004-04-08 14:37 538  
[ ]not_is_lam_Ered1.con.xml.gz2004-04-08 14:37 540  
[ ]normal_normal_app.con.xml.gz2004-04-08 14:37 541  
[ ]normal_app_inv.con.xml.gz2004-04-08 14:37 586  
[ ]EConv_Conv.con.xml.gz2004-04-08 14:37 594  
[ ]Econv_eq.con.xml.gz2004-04-08 14:37 619  
[ ]typ_sort_Econv_Econv.con.xml.gz2004-04-08 14:37 652  
[ ]typ_is_nf.con.xml.gz2004-04-08 14:37 655  
[ ]Etyp_NF_Econv_Econv.con.xml.gz2004-04-08 14:37 727  
[ ]equiv_env_item.con.xml.gz2004-04-08 14:37 728  
[ ]refl_equiv_env.con.body.xml.gz2004-04-08 14:37 804  
[ ]refl_equiv_env.con.types.xml.gz2004-04-08 14:37 922  
[ ]equiv_env.ind.xml.gz2004-04-08 14:37 953  
[ ]equiv_env_ind.con.xml.gz2004-04-08 14:37 1.0K 
[ ]normal_abs_inv.con.body.xml.gz2004-04-08 14:37 1.0K 
[ ]normal_prod_inv.con.body.xml.gz2004-04-08 14:37 1.0K 
[ ]normal_Econv_NF_conv.con.types.xml.gz2004-04-08 14:37 1.1K 
[ ]Ered_normal_NF_Econv.con.types.xml.gz2004-04-08 14:37 1.1K 
[ ]normal_Econv_NF_conv.con.body.xml.gz2004-04-08 14:37 1.2K 
[ ]Ered_normal_NF_Econv.con.body.xml.gz2004-04-08 14:37 1.2K 
[ ]NF_Econv.ind.xml.gz2004-04-08 14:37 1.2K 
[ ]normal_abs_inv.con.types.xml.gz2004-04-08 14:37 1.5K 
[ ]normal_prod_inv.con.types.xml.gz2004-04-08 14:37 1.5K 
[ ]typ_is_nf.con.types.xml.gz2004-04-08 14:37 1.5K 
[ ]NF_Econv_ind.con.xml.gz2004-04-08 14:37 1.5K 
[ ]sym_NF_Econv.con.body.xml.gz2004-04-08 14:37 1.6K 
[ ]equiv_env_ind.con.body.xml.gz2004-04-08 14:37 1.6K 
[ ]equiv_env_ind.con.types.xml.gz2004-04-08 14:37 1.6K 
[ ]typ_is_nf.con.body.xml.gz2004-04-08 14:37 1.6K 
[ ]INDEX2005-07-05 08:12 1.7K 
[ ]sym_NF_Econv.con.types.xml.gz2004-04-08 14:37 1.8K 
[ ]NF_Econv_Econv.con.body.xml.gz2004-04-08 14:37 2.0K 
[ ]NF_Econv_Econv.con.types.xml.gz2004-04-08 14:37 2.2K 
[ ]normal_app_inv.con.body.xml.gz2004-04-08 14:37 2.5K 
[ ]refl_NF_Econv.con.body.xml.gz2004-04-08 14:37 2.6K 
[ ]NF_Econv_ind.con.body.xml.gz2004-04-08 14:37 2.9K 
[ ]refl_NF_Econv.con.types.xml.gz2004-04-08 14:37 2.9K 
[ ]NF_Econv_ind.con.types.xml.gz2004-04-08 14:37 3.1K 
[ ]normal_app_inv.con.types.xml.gz2004-04-08 14:37 3.3K 
[ ]EConv_Conv.con.types.xml.gz2004-04-08 14:37 4.2K 
[ ]EConv_Conv.con.body.xml.gz2004-04-08 14:37 4.6K 
[ ]Ered1_normal_normal.con.body.xml.gz2004-04-08 14:37 4.7K 
[ ]Ered1_normal_normal.con.types.xml.gz2004-04-08 14:37 4.9K 
[ ]Etyp_typ.con.types.xml.gz2004-04-08 14:37 5.9K 
[ ]Etyp_typ.con.body.xml.gz2004-04-08 14:37 5.9K 
[ ]typ_sort_Econv_Econv.con.types.xml.gz2004-04-08 14:37 6.0K 
[ ]typ_sort_Econv_Econv.con.body.xml.gz2004-04-08 14:37 6.4K 
[ ]Ered1_normal_NF_Econv.con.body.xml.gz2004-04-08 14:37 6.5K 
[ ]normal_prop.con.body.xml.gz2004-04-08 14:37 7.1K 
[ ]Ered1_normal_NF_Econv.con.types.xml.gz2004-04-08 14:37 7.1K 
[ ]not_is_lam_Ered1.con.body.xml.gz2004-04-08 14:37 8.3K 
[ ]normal_prop.con.types.xml.gz2004-04-08 14:37 8.8K 
[ ]not_is_lam_Ered1.con.types.xml.gz2004-04-08 14:37 11K 
[ ]Etyp_NF_Econv_Econv.con.types.xml.gz2004-04-08 14:37 11K 
[ ]NF_Econv_not_is_lam.con.body.xml.gz2004-04-08 14:37 11K 
[ ]normal_normal_prod.con.body.xml.gz2004-04-08 14:37 11K 
[ ]normal_normal_abs.con.body.xml.gz2004-04-08 14:37 11K 
[ ]Etyp_NF_Econv_Econv.con.body.xml.gz2004-04-08 14:37 12K 
[ ]NF_Econv_not_is_lam.con.types.xml.gz2004-04-08 14:37 13K 
[ ]normal_normal_prod.con.types.xml.gz2004-04-08 14:37 13K 
[ ]normal_normal_abs.con.types.xml.gz2004-04-08 14:37 13K 
[ ]normal_normal_app.con.body.xml.gz2004-04-08 14:37 16K 
[ ]normal_normal_app.con.types.xml.gz2004-04-08 14:37 21K 
[ ]trans_NF_Econv_NF_Econv.con.body.xml.gz2004-04-08 14:37 28K 
[ ]equiv_env_item.con.body.xml.gz2004-04-08 14:37 34K 
[ ]trans_NF_Econv_NF_Econv.con.types.xml.gz2004-04-08 14:37 37K 
[ ]equiv_env_item.con.types.xml.gz2004-04-08 14:37 42K 
[ ]Econv_eq.con.body.xml.gz2004-04-08 14:37 63K 
[ ]Econv_eq.con.types.xml.gz2004-04-08 14:37 82K 
Apache/2.4.62 (Debian) Server at mowgli.cs.unibo.it Port 80