Index of /xml/Rocq/COC/Types

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]wf.ind.types.xml.gz2004-04-08 14:34 182  
[ ]env.con.types.xml.gz2004-04-08 14:34 184  
[ ]inv_type.con.types.xml.gz2004-04-08 14:34 192  
[ ]env.con.xml.gz2004-04-08 14:34 195  
[ ]item_lift.con.types.xml.gz2004-04-08 14:34 195  
[ ]ins_in_env.ind.types.xml.gz2004-04-08 14:34 196  
[ ]sub_in_env.ind.types.xml.gz2004-04-08 14:34 196  
[ ]red1_in_env.ind.types.xml.gz2004-04-08 14:34 198  
[ ]env.con.body.xml.gz2004-04-08 14:34 294  
[ ]inv_type.con.xml.gz2004-04-08 14:34 344  
[ ]item_lift.con.xml.gz2004-04-08 14:34 352  
[ ]typ_wf.con.xml.gz2004-04-08 14:34 449  
[ ]inv_typ_kind.con.xml.gz2004-04-08 14:34 474  
[ ]inv_typ_set.con.xml.gz2004-04-08 14:34 502  
[ ]inv_typ_prop.con.xml.gz2004-04-08 14:34 504  
[ ]subj_red.con.xml.gz2004-04-08 14:34 518  
[ ]typ_mem_kind.con.xml.gz2004-04-08 14:34 521  
[ ]type_prop_set.con.xml.gz2004-04-08 14:34 521  
[ ]subject_reduction.con.xml.gz2004-04-08 14:34 522  
[ ]typ_unique.con.xml.gz2004-04-08 14:34 522  
[ ]type_reduction.con.xml.gz2004-04-08 14:34 523  
[ ]typ_inversion.con.xml.gz2004-04-08 14:34 528  
[ ]type_free_db.con.xml.gz2004-04-08 14:34 544  
[ ]inv_typ_conv_kind.con.xml.gz2004-04-08 14:34 548  
[ ]typ_free_db.con.xml.gz2004-04-08 14:34 550  
[ ]typ_red_env.con.xml.gz2004-04-08 14:34 551  
[ ]inv_type_conv.con.xml.gz2004-04-08 14:34 555  
[ ]typ_conv_conv.con.xml.gz2004-04-08 14:34 563  
[ ]inv_typ_kind.con.body.xml.gz2004-04-08 14:34 579  
[ ]type_kind_not_conv.con.xml.gz2004-04-08 14:34 582  
[ ]nth_sub_eq.con.xml.gz2004-04-08 14:34 588  
[ ]wf_sort_lift.con.xml.gz2004-04-08 14:34 643  
[ ]type_case.con.xml.gz2004-04-08 14:34 675  
[ ]inv_typ_set.con.body.xml.gz2004-04-08 14:34 684  
[ ]inv_typ_prop.con.body.xml.gz2004-04-08 14:34 687  
[ ]substitution.con.xml.gz2004-04-08 14:34 687  
[ ]thinning_n.con.xml.gz2004-04-08 14:34 693  
[ ]nth_sub_inf.con.xml.gz2004-04-08 14:34 701  
[ ]ins_item_lt.con.xml.gz2004-04-08 14:34 711  
[ ]ins_item_ge.con.xml.gz2004-04-08 14:34 716  
[ ]thinning.con.xml.gz2004-04-08 14:34 721  
[ ]typ_weak_weak.con.xml.gz2004-04-08 14:34 728  
[ ]nth_sub_sup.con.xml.gz2004-04-08 14:34 735  
[ ]item_lift.con.body.xml.gz2004-04-08 14:34 749  
[ ]inv_typ_kind.con.types.xml.gz2004-04-08 14:34 754  
[ ]inv_typ_set.con.types.xml.gz2004-04-08 14:34 759  
[ ]inv_typ_prop.con.types.xml.gz2004-04-08 14:34 760  
[ ]inv_typ_ref.con.xml.gz2004-04-08 14:34 760  
[ ]wf_ind.con.xml.gz2004-04-08 14:34 772  
[ ]inv_typ_app.con.xml.gz2004-04-08 14:34 776  
[ ]wf_sort.con.xml.gz2004-04-08 14:34 778  
[ ]wf_ind.con.types.xml.gz2004-04-08 14:34 828  
[ ]red1_in_env.ind.xml.gz2004-04-08 14:34 840  
[ ]typ_sub_weak.con.xml.gz2004-04-08 14:34 844  
[ ]inv_typ_prod.con.xml.gz2004-04-08 14:34 855  
[ ]substitution.con.body.xml.gz2004-04-08 14:34 929  
[ ]wf_ind.con.body.xml.gz2004-04-08 14:34 945  
[ ]ins_in_env.ind.xml.gz2004-04-08 14:34 959  
[ ]inv_typ_abs.con.xml.gz2004-04-08 14:34 959  
[ ]sub_in_env.ind.xml.gz2004-04-08 14:34 1.0K 
[ ]red1_in_env_ind.con.xml.gz2004-04-08 14:34 1.0K 
[ ]red_item.con.xml.gz2004-04-08 14:34 1.0K 
[ ]typ_conv_conv.con.types.xml.gz2004-04-08 14:34 1.0K 
[ ]inv_typ_ref.con.types.xml.gz2004-04-08 14:34 1.1K 
[ ]substitution.con.types.xml.gz2004-04-08 14:34 1.1K 
[ ]nth_sub_eq.con.body.xml.gz2004-04-08 14:34 1.1K 
[ ]ins_in_env_ind.con.xml.gz2004-04-08 14:34 1.1K 
[ ]subject_reduction.con.types.xml.gz2004-04-08 14:34 1.1K 
[ ]sub_in_env_ind.con.xml.gz2004-04-08 14:34 1.1K 
[ ]inv_typ_ref.con.body.xml.gz2004-04-08 14:34 1.1K 
[ ]inv_typ_app.con.types.xml.gz2004-04-08 14:34 1.1K 
[ ]typ_conv_conv.con.body.xml.gz2004-04-08 14:34 1.1K 
[ ]subject_reduction.con.body.xml.gz2004-04-08 14:34 1.1K 
[ ]inv_typ_app.con.body.xml.gz2004-04-08 14:34 1.2K 
[ ]type_prop_set.con.body.xml.gz2004-04-08 14:34 1.2K 
[ ]type_prop_set.con.types.xml.gz2004-04-08 14:34 1.3K 
[ ]nth_sub_eq.con.types.xml.gz2004-04-08 14:34 1.3K 
[ ]inv_typ_prod.con.types.xml.gz2004-04-08 14:34 1.3K 
[ ]type_kind_not_conv.con.types.xml.gz2004-04-08 14:34 1.3K 
[ ]inv_typ_prod.con.body.xml.gz2004-04-08 14:34 1.3K 
[ ]inv_typ_abs.con.types.xml.gz2004-04-08 14:34 1.5K 
[ ]type_kind_not_conv.con.body.xml.gz2004-04-08 14:34 1.5K 
[ ]inv_typ_abs.con.body.xml.gz2004-04-08 14:34 1.6K 
[ ]red1_in_env_ind.con.body.xml.gz2004-04-08 14:34 1.6K 
[ ]red1_in_env_ind.con.types.xml.gz2004-04-08 14:34 1.7K 
[ ]ins_in_env_ind.con.body.xml.gz2004-04-08 14:34 1.7K 
[ ]sub_in_env_ind.con.body.xml.gz2004-04-08 14:34 1.8K 
[ ]type_free_db.con.body.xml.gz2004-04-08 14:34 1.8K 
[ ]type_free_db.con.types.xml.gz2004-04-08 14:34 1.8K 
[ ]inv_type.con.body.xml.gz2004-04-08 14:34 1.9K 
[ ]typ_wf.con.types.xml.gz2004-04-08 14:34 2.0K 
[ ]sub_in_env_ind.con.types.xml.gz2004-04-08 14:34 2.1K 
[ ]ins_in_env_ind.con.types.xml.gz2004-04-08 14:34 2.1K 
[ ]typ_wf.con.body.xml.gz2004-04-08 14:34 2.1K 
[ ]wf.ind.xml.gz2004-04-08 14:34 2.2K 
[ ]INDEX2005-07-05 08:12 2.4K 
[ ]typ_ind.con.xml.gz2004-04-08 14:34 2.6K 
[ ]typ_mem_kind.con.body.xml.gz2004-04-08 14:34 4.3K 
[ ]typ_free_db.con.body.xml.gz2004-04-08 14:34 4.5K 
[ ]typ_mem_kind.con.types.xml.gz2004-04-08 14:34 4.9K 
[ ]inv_type_conv.con.body.xml.gz2004-04-08 14:34 5.0K 
[ ]thinning.con.body.xml.gz2004-04-08 14:34 5.2K 
[ ]typ_inversion.con.body.xml.gz2004-04-08 14:34 5.3K 
[ ]typ_ind.con.body.xml.gz2004-04-08 14:34 5.4K 
[ ]typ_ind.con.types.xml.gz2004-04-08 14:34 5.6K 
[ ]typ_free_db.con.types.xml.gz2004-04-08 14:34 5.9K 
[ ]typ_inversion.con.types.xml.gz2004-04-08 14:34 6.1K 
[ ]typ_unique.con.types.xml.gz2004-04-08 14:34 6.7K 
[ ]typ_unique.con.body.xml.gz2004-04-08 14:34 7.1K 
[ ]thinning.con.types.xml.gz2004-04-08 14:34 7.5K 
[ ]inv_typ_conv_kind.con.body.xml.gz2004-04-08 14:34 8.4K 
[ ]inv_type_conv.con.types.xml.gz2004-04-08 14:34 8.6K 
[ ]type_reduction.con.body.xml.gz2004-04-08 14:34 9.1K 
[ ]inv_typ_conv_kind.con.types.xml.gz2004-04-08 14:34 9.5K 
[ ]type_case.con.body.xml.gz2004-04-08 14:34 9.6K 
[ ]type_reduction.con.types.xml.gz2004-04-08 14:34 10K 
[ ]type_case.con.types.xml.gz2004-04-08 14:34 10K 
[ ]typ_red_env.con.body.xml.gz2004-04-08 14:34 11K 
[ ]typ_red_env.con.types.xml.gz2004-04-08 14:34 11K 
[ ]typ_weak_weak.con.body.xml.gz2004-04-08 14:34 11K 
[ ]ins_item_ge.con.body.xml.gz2004-04-08 14:34 13K 
[ ]thinning_n.con.body.xml.gz2004-04-08 14:34 17K 
[ ]typ_sub_weak.con.body.xml.gz2004-04-08 14:34 18K 
[ ]ins_item_ge.con.types.xml.gz2004-04-08 14:34 19K 
[ ]nth_sub_sup.con.body.xml.gz2004-04-08 14:34 21K 
[ ]thinning_n.con.types.xml.gz2004-04-08 14:34 22K 
[ ]typ_weak_weak.con.types.xml.gz2004-04-08 14:34 26K 
[ ]nth_sub_sup.con.types.xml.gz2004-04-08 14:34 27K 
[ ]nth_sub_inf.con.body.xml.gz2004-04-08 14:34 28K 
[ ]ins_item_lt.con.body.xml.gz2004-04-08 14:34 30K 
[ ]typ_sub_weak.con.types.xml.gz2004-04-08 14:34 36K 
[ ]wf_sort_lift.con.body.xml.gz2004-04-08 14:34 38K 
[ ]nth_sub_inf.con.types.xml.gz2004-04-08 14:34 38K 
[ ]ins_item_lt.con.types.xml.gz2004-04-08 14:34 42K 
[ ]wf_sort.con.body.xml.gz2004-04-08 14:34 46K 
[ ]wf_sort_lift.con.types.xml.gz2004-04-08 14:34 51K 
[ ]wf_sort.con.types.xml.gz2004-04-08 14:34 59K 
[ ]subj_red.con.body.xml.gz2004-04-08 14:34 75K 
[ ]red_item.con.body.xml.gz2004-04-08 14:34 76K 
[ ]subj_red.con.types.xml.gz2004-04-08 14:34 116K 
[ ]red_item.con.types.xml.gz2004-04-08 14:34 127K 
Apache/2.4.61 (Debian) Server at mowgli.cs.unibo.it Port 80