Index of /xml/Rocq/COC/Termes

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]sn.con.types.xml.gz2004-04-08 14:33 185  
[ ]red.ind.types.xml.gz2004-04-08 14:33 186  
[ ]conv.ind.types.xml.gz2004-04-08 14:33 187  
[ ]sort.ind.types.xml.gz2004-04-08 14:33 187  
[ ]lift.con.types.xml.gz2004-04-08 14:33 188  
[ ]red1.ind.types.xml.gz2004-04-08 14:33 188  
[ ]term.ind.types.xml.gz2004-04-08 14:33 188  
[ ]subst.con.types.xml.gz2004-04-08 14:33 190  
[ ]normal.con.types.xml.gz2004-04-08 14:33 192  
[ ]subterm.ind.types.xml.gz2004-04-08 14:33 193  
[ ]free_db.ind.types.xml.gz2004-04-08 14:33 194  
[ ]is_prop.con.types.xml.gz2004-04-08 14:33 194  
[ ]mem_sort.ind.types.xml.gz2004-04-08 14:33 195  
[ ]par_red.con.types.xml.gz2004-04-08 14:33 195  
[ ]lift_rec.con.types.xml.gz2004-04-08 14:33 196  
[ ]par_red1.ind.types.xml.gz2004-04-08 14:33 196  
[ ]sort_rec.con.types.xml.gz2004-04-08 14:33 196  
[ ]term_rec.con.types.xml.gz2004-04-08 14:33 196  
[ ]sort_rect.con.types.xml.gz2004-04-08 14:33 198  
[ ]subst_rec.con.types.xml.gz2004-04-08 14:33 198  
[ ]term_rect.con.types.xml.gz2004-04-08 14:33 198  
[ ]subt_bind.ind.types.xml.gz2004-04-08 14:33 199  
[ ]subt_nobind.ind.types.xml.gz2004-04-08 14:33 202  
[ ]sn.con.xml.gz2004-04-08 14:33 284  
[ ]subst.con.xml.gz2004-04-08 14:33 285  
[ ]normal.con.xml.gz2004-04-08 14:33 290  
[ ]is_prop.con.xml.gz2004-04-08 14:33 293  
[ ]lift.con.xml.gz2004-04-08 14:33 300  
[ ]par_red.con.xml.gz2004-04-08 14:33 302  
[ ]lift_rec.con.xml.gz2004-04-08 14:33 322  
[ ]sort.ind.xml.gz2004-04-08 14:33 323  
[ ]subst_rec.con.xml.gz2004-04-08 14:33 323  
[ ]par_red.con.body.xml.gz2004-04-08 14:33 341  
[ ]refl_par_red1.con.xml.gz2004-04-08 14:33 368  
[ ]sn.con.body.xml.gz2004-04-08 14:33 389  
[ ]lift0.con.body.xml.gz2004-04-08 14:33 401  
[ ]sort_rec.con.body.xml.gz2004-04-08 14:33 404  
[ ]term_rec.con.body.xml.gz2004-04-08 14:33 406  
[ ]sort_ind.con.body.xml.gz2004-04-08 14:33 407  
[ ]term_ind.con.body.xml.gz2004-04-08 14:33 409  
[ ]red_conv.con.xml.gz2004-04-08 14:33 412  
[ ]sym_conv.con.xml.gz2004-04-08 14:33 412  
[ ]one_step_red.con.xml.gz2004-04-08 14:33 417  
[ ]lift.con.body.xml.gz2004-04-08 14:33 418  
[ ]subst.con.body.xml.gz2004-04-08 14:33 418  
[ ]red1_par_red1.con.xml.gz2004-04-08 14:33 422  
[ ]commut_red1_subterm.con.xml.gz2004-04-08 14:33 423  
[ ]subterm_abs.con.xml.gz2004-04-08 14:33 426  
[ ]red_par_red.con.xml.gz2004-04-08 14:33 427  
[ ]subterm_prod.con.xml.gz2004-04-08 14:33 428  
[ ]lift0.con.xml.gz2004-04-08 14:33 429  
[ ]par_red_red.con.xml.gz2004-04-08 14:33 430  
[ ]one_step_conv_exp.con.xml.gz2004-04-08 14:33 431  
[ ]sn_subst.con.xml.gz2004-04-08 14:33 436  
[ ]sn_red_sn.con.xml.gz2004-04-08 14:33 437  
[ ]is_prop.con.body.xml.gz2004-04-08 14:33 443  
[ ]normal.con.body.xml.gz2004-04-08 14:33 448  
[ ]subterm_sn.con.xml.gz2004-04-08 14:33 450  
[ ]trans_red_red.con.xml.gz2004-04-08 14:33 460  
[ ]trans_conv_conv.con.xml.gz2004-04-08 14:33 461  
[ ]term.ind.xml.gz2004-04-08 14:33 466  
[ ]red_sort_mem.con.xml.gz2004-04-08 14:33 467  
[ ]lift_rec0.con.xml.gz2004-04-08 14:33 469  
[ ]sn_prod.con.xml.gz2004-04-08 14:33 470  
[ ]subterm_abs.con.body.xml.gz2004-04-08 14:33 473  
[ ]red_normal.con.xml.gz2004-04-08 14:33 474  
[ ]subterm_prod.con.body.xml.gz2004-04-08 14:33 477  
[ ]sort_rec.con.xml.gz2004-04-08 14:33 482  
[ ]sort_rect.con.xml.gz2004-04-08 14:33 488  
[ ]sort_ind.con.xml.gz2004-04-08 14:33 493  
[ ]one_step_red.con.body.xml.gz2004-04-08 14:33 504  
[ ]one_step_red.con.types.xml.gz2004-04-08 14:33 507  
[ ]subst_ref_eq.con.xml.gz2004-04-08 14:33 514  
[ ]one_step_conv_exp.con.body.xml.gz2004-04-08 14:33 515  
[ ]one_step_conv_exp.con.types.xml.gz2004-04-08 14:33 520  
[ ]permute_lift.con.body.xml.gz2004-04-08 14:33 524  
[ ]mem_sort_lift.con.xml.gz2004-04-08 14:33 528  
[ ]simpl_lift.con.xml.gz2004-04-08 14:33 533  
[ ]red1_lift.con.xml.gz2004-04-08 14:33 538  
[ ]red1_subst_l.con.xml.gz2004-04-08 14:33 540  
[ ]red1_subst_r.con.xml.gz2004-04-08 14:33 544  
[ ]red_red_abs.con.xml.gz2004-04-08 14:33 544  
[ ]red_red_app.con.xml.gz2004-04-08 14:33 544  
[ ]conv_conv_lift.con.xml.gz2004-04-08 14:33 545  
[ ]red_red_prod.con.xml.gz2004-04-08 14:33 545  
[ ]red_sort_sort.con.xml.gz2004-04-08 14:33 545  
[ ]par_red1_lift.con.xml.gz2004-04-08 14:33 546  
[ ]conv_conv_prod.con.xml.gz2004-04-08 14:33 551  
[ ]sort_level_ind.con.xml.gz2004-04-08 14:33 553  
[ ]subterm_ind.con.xml.gz2004-04-08 14:33 555  
[ ]lift_ref_lt.con.xml.gz2004-04-08 14:33 566  
[ ]subterm_abs.con.types.xml.gz2004-04-08 14:33 571  
[ ]subst_ref_lt.con.xml.gz2004-04-08 14:33 572  
[ ]mem_sort_subst.con.xml.gz2004-04-08 14:33 573  
[ ]subterm_prod.con.types.xml.gz2004-04-08 14:33 573  
[ ]lift0.con.types.xml.gz2004-04-08 14:33 586  
[ ]subst_ref_gt.con.xml.gz2004-04-08 14:33 591  
[ ]conv_conv_subst.con.xml.gz2004-04-08 14:33 592  
[ ]par_red1_subst.con.xml.gz2004-04-08 14:33 592  
[ ]red.ind.xml.gz2004-04-08 14:33 593  
[ ]lift_ref_ge.con.xml.gz2004-04-08 14:33 594  
[ ]subterm_ind.con.types.xml.gz2004-04-08 14:33 601  
[ ]permute_lift.con.xml.gz2004-04-08 14:33 605  
[ ]subt_bind_ind.con.xml.gz2004-04-08 14:33 609  
[ ]subt_bind.ind.xml.gz2004-04-08 14:33 613  
[ ]simpl_subst.con.xml.gz2004-04-08 14:33 615  
[ ]sort_ind.con.types.xml.gz2004-04-08 14:33 616  
[ ]distr_subst.con.xml.gz2004-04-08 14:33 618  
[ ]commut_lift_subst.con.xml.gz2004-04-08 14:33 623  
[ ]distr_lift_subst.con.xml.gz2004-04-08 14:33 627  
[ ]subterm.ind.xml.gz2004-04-08 14:33 629  
[ ]simpl_subst.con.body.xml.gz2004-04-08 14:33 647  
[ ]red_ind.con.xml.gz2004-04-08 14:33 649  
[ ]permute_lift_rec.con.xml.gz2004-04-08 14:33 660  
[ ]red1_red_ind.con.xml.gz2004-04-08 14:33 664  
[ ]subt_bind_ind.con.types.xml.gz2004-04-08 14:33 668  
[ ]sort_rect.con.body.xml.gz2004-04-08 14:33 669  
[ ]inv_par_red_abs.con.xml.gz2004-04-08 14:33 676  
[ ]commut_lift_subst_rec.con.xml.gz2004-04-08 14:33 679  
[ ]red_conv.con.types.xml.gz2004-04-08 14:33 688  
[ ]subterm_ind.con.body.xml.gz2004-04-08 14:33 689  
[ ]simpl_lift_rec.con.xml.gz2004-04-08 14:33 692  
[ ]distr_subst_rec.con.xml.gz2004-04-08 14:33 704  
[ ]subt_nobind.ind.xml.gz2004-04-08 14:33 706  
[ ]simpl_subst_rec.con.xml.gz2004-04-08 14:33 708  
[ ]red_prod_prod.con.xml.gz2004-04-08 14:33 709  
[ ]conv.ind.xml.gz2004-04-08 14:33 718  
[ ]distr_lift_subst_rec.con.xml.gz2004-04-08 14:33 725  
[ ]subt_nobind_ind.con.xml.gz2004-04-08 14:33 747  
[ ]subt_bind_ind.con.body.xml.gz2004-04-08 14:33 785  
[ ]conv_ind.con.xml.gz2004-04-08 14:33 803  
[ ]subt_nobind_ind.con.types.xml.gz2004-04-08 14:33 803  
[ ]red_conv.con.body.xml.gz2004-04-08 14:33 804  
[ ]term_rec.con.xml.gz2004-04-08 14:33 920  
[ ]term_ind.con.xml.gz2004-04-08 14:33 925  
[ ]term_rect.con.xml.gz2004-04-08 14:33 927  
[ ]distr_subst.con.body.xml.gz2004-04-08 14:33 931  
[ ]distr_lift_subst.con.body.xml.gz2004-04-08 14:33 946  
[ ]subt_nobind_ind.con.body.xml.gz2004-04-08 14:33 956  
[ ]simpl_lift.con.body.xml.gz2004-04-08 14:33 1.0K 
[ ]simpl_subst.con.types.xml.gz2004-04-08 14:33 1.0K 
[ ]red_par_red.con.types.xml.gz2004-04-08 14:33 1.0K 
[ ]red_ind.con.types.xml.gz2004-04-08 14:33 1.0K 
[ ]refl_par_red1.con.body.xml.gz2004-04-08 14:33 1.0K 
[ ]sort_level_ind.con.body.xml.gz2004-04-08 14:33 1.0K 
[ ]permute_lift.con.types.xml.gz2004-04-08 14:33 1.0K 
[ ]commut_lift_subst.con.body.xml.gz2004-04-08 14:33 1.1K 
[ ]sn_red_sn.con.body.xml.gz2004-04-08 14:33 1.1K 
[ ]red_par_red.con.body.xml.gz2004-04-08 14:33 1.1K 
[ ]free_db.ind.xml.gz2004-04-08 14:33 1.1K 
[ ]sort_level_ind.con.types.xml.gz2004-04-08 14:33 1.1K 
[ ]mem_sort.ind.xml.gz2004-04-08 14:33 1.2K 
[ ]red_ind.con.body.xml.gz2004-04-08 14:33 1.2K 
[ ]sn_red_sn.con.types.xml.gz2004-04-08 14:33 1.2K 
[ ]trans_red_red.con.body.xml.gz2004-04-08 14:33 1.2K 
[ ]simpl_lift.con.types.xml.gz2004-04-08 14:33 1.2K 
[ ]trans_red_red.con.types.xml.gz2004-04-08 14:33 1.3K 
[ ]conv_ind.con.types.xml.gz2004-04-08 14:33 1.3K 
[ ]mem_sort_ind.con.xml.gz2004-04-08 14:33 1.3K 
[ ]trans_conv_conv.con.types.xml.gz2004-04-08 14:33 1.3K 
[ ]refl_par_red1.con.types.xml.gz2004-04-08 14:33 1.3K 
[ ]distr_subst.con.types.xml.gz2004-04-08 14:33 1.4K 
[ ]red1.ind.xml.gz2004-04-08 14:33 1.4K 
[ ]distr_lift_subst.con.types.xml.gz2004-04-08 14:33 1.4K 
[ ]par_red1.ind.xml.gz2004-04-08 14:33 1.4K 
[ ]term_ind.con.types.xml.gz2004-04-08 14:33 1.4K 
[ ]free_db_ind.con.xml.gz2004-04-08 14:33 1.4K 
[ ]conv_conv_lift.con.body.xml.gz2004-04-08 14:33 1.4K 
[ ]lift_rec.con.body.xml.gz2004-04-08 14:33 1.4K 
[ ]conv_conv_lift.con.types.xml.gz2004-04-08 14:33 1.5K 
[ ]trans_conv_conv.con.body.xml.gz2004-04-08 14:33 1.5K 
[ ]conv_ind.con.body.xml.gz2004-04-08 14:33 1.5K 
[ ]commut_lift_subst.con.types.xml.gz2004-04-08 14:33 1.5K 
[ ]term_rect.con.body.xml.gz2004-04-08 14:33 1.6K 
[ ]red1_ind.con.xml.gz2004-04-08 14:33 1.7K 
[ ]lift_ref_lt.con.body.xml.gz2004-04-08 14:33 1.7K 
[ ]par_red1_ind.con.xml.gz2004-04-08 14:33 1.7K 
[ ]lift_ref_ge.con.body.xml.gz2004-04-08 14:33 1.7K 
[ ]red1_par_red1.con.body.xml.gz2004-04-08 14:33 1.7K 
[ ]red_red_abs.con.types.xml.gz2004-04-08 14:33 1.8K 
[ ]red_red_prod.con.types.xml.gz2004-04-08 14:33 1.8K 
[ ]red_red_app.con.types.xml.gz2004-04-08 14:33 1.8K 
[ ]red_red_abs.con.body.xml.gz2004-04-08 14:33 1.8K 
[ ]red_red_app.con.body.xml.gz2004-04-08 14:33 1.8K 
[ ]red_red_prod.con.body.xml.gz2004-04-08 14:33 1.8K 
[ ]red_normal.con.body.xml.gz2004-04-08 14:33 1.8K 
[ ]subst_rec.con.body.xml.gz2004-04-08 14:33 1.9K 
[ ]red_normal.con.types.xml.gz2004-04-08 14:33 1.9K 
[ ]subterm_sn.con.body.xml.gz2004-04-08 14:33 2.0K 
[ ]sym_conv.con.types.xml.gz2004-04-08 14:33 2.2K 
[ ]conv_conv_prod.con.types.xml.gz2004-04-08 14:33 2.2K 
[ ]conv_conv_prod.con.body.xml.gz2004-04-08 14:33 2.3K 
[ ]mem_sort_ind.con.types.xml.gz2004-04-08 14:33 2.4K 
[ ]red1_par_red1.con.types.xml.gz2004-04-08 14:33 2.4K 
[ ]sym_conv.con.body.xml.gz2004-04-08 14:33 2.4K 
[ ]subterm_sn.con.types.xml.gz2004-04-08 14:33 2.4K 
[ ]mem_sort_ind.con.body.xml.gz2004-04-08 14:33 2.5K 
[ ]sn_subst.con.types.xml.gz2004-04-08 14:33 2.5K 
[ ]sn_subst.con.body.xml.gz2004-04-08 14:33 2.6K 
[ ]subst_ref_eq.con.body.xml.gz2004-04-08 14:33 2.6K 
[ ]par_red_red.con.body.xml.gz2004-04-08 14:33 2.6K 
[ ]conv_conv_subst.con.body.xml.gz2004-04-08 14:33 2.7K 
[ ]conv_conv_subst.con.types.xml.gz2004-04-08 14:33 2.7K 
[ ]free_db_ind.con.body.xml.gz2004-04-08 14:33 2.8K 
[ ]free_db_ind.con.types.xml.gz2004-04-08 14:33 2.9K 
[ ]par_red_red.con.types.xml.gz2004-04-08 14:33 2.9K 
[ ]red1_red_ind.con.body.xml.gz2004-04-08 14:33 2.9K 
[ ]lift_ref_lt.con.types.xml.gz2004-04-08 14:33 3.1K 
[ ]red1_ind.con.body.xml.gz2004-04-08 14:33 3.2K 
[ ]lift_ref_ge.con.types.xml.gz2004-04-08 14:33 3.2K 
[ ]par_red1_ind.con.body.xml.gz2004-04-08 14:33 3.3K 
[ ]lift_rec0.con.body.xml.gz2004-04-08 14:33 3.5K 
[ ]red1_lift.con.body.xml.gz2004-04-08 14:33 3.6K 
[ ]red1_subst_r.con.body.xml.gz2004-04-08 14:33 3.6K 
[ ]par_red1_ind.con.types.xml.gz2004-04-08 14:33 3.7K 
[ ]red1_ind.con.types.xml.gz2004-04-08 14:33 3.7K 
[ ]red1_red_ind.con.types.xml.gz2004-04-08 14:33 3.8K 
[ ]subst_ref_lt.con.body.xml.gz2004-04-08 14:33 4.1K 
[ ]par_red1_lift.con.body.xml.gz2004-04-08 14:33 4.1K 
[ ]subst_ref_gt.con.body.xml.gz2004-04-08 14:33 4.1K 
[ ]INDEX2005-07-05 08:12 4.4K 
[ ]lift_rec0.con.types.xml.gz2004-04-08 14:33 5.5K 
[ ]red1_subst_r.con.types.xml.gz2004-04-08 14:33 5.9K 
[ ]red1_lift.con.types.xml.gz2004-04-08 14:33 5.9K 
[ ]red1_subst_l.con.body.xml.gz2004-04-08 14:33 6.0K 
[ ]par_red1_lift.con.types.xml.gz2004-04-08 14:33 6.1K 
[ ]subst_ref_eq.con.types.xml.gz2004-04-08 14:33 6.2K 
[ ]commut_red1_subterm.con.body.xml.gz2004-04-08 14:33 6.6K 
[ ]par_red1_subst.con.body.xml.gz2004-04-08 14:33 7.8K 
[ ]subst_ref_lt.con.types.xml.gz2004-04-08 14:33 8.2K 
[ ]subst_ref_gt.con.types.xml.gz2004-04-08 14:33 8.6K 
[ ]simpl_subst_rec.con.body.xml.gz2004-04-08 14:33 9.3K 
[ ]simpl_lift_rec.con.body.xml.gz2004-04-08 14:33 9.7K 
[ ]commut_red1_subterm.con.types.xml.gz2004-04-08 14:33 10K 
[ ]inv_par_red_abs.con.body.xml.gz2004-04-08 14:33 11K 
[ ]red_sort_sort.con.body.xml.gz2004-04-08 14:33 11K 
[ ]simpl_subst_rec.con.types.xml.gz2004-04-08 14:33 14K 
[ ]simpl_lift_rec.con.types.xml.gz2004-04-08 14:33 14K 
[ ]permute_lift_rec.con.body.xml.gz2004-04-08 14:33 15K 
[ ]red1_subst_l.con.types.xml.gz2004-04-08 14:33 15K 
[ ]sn_prod.con.body.xml.gz2004-04-08 14:33 15K 
[ ]red_prod_prod.con.body.xml.gz2004-04-08 14:33 15K 
[ ]red_prod_prod.con.types.xml.gz2004-04-08 14:33 15K 
[ ]red_sort_sort.con.types.xml.gz2004-04-08 14:33 17K 
[ ]par_red1_subst.con.types.xml.gz2004-04-08 14:33 17K 
[ ]inv_par_red_abs.con.types.xml.gz2004-04-08 14:33 19K 
[ ]sn_prod.con.types.xml.gz2004-04-08 14:33 19K 
[ ]commut_lift_subst_rec.con.body.xml.gz2004-04-08 14:33 21K 
[ ]permute_lift_rec.con.types.xml.gz2004-04-08 14:33 21K 
[ ]distr_lift_subst_rec.con.body.xml.gz2004-04-08 14:33 22K 
[ ]distr_subst_rec.con.body.xml.gz2004-04-08 14:33 28K 
[ ]commut_lift_subst_rec.con.types.xml.gz2004-04-08 14:33 34K 
[ ]distr_lift_subst_rec.con.types.xml.gz2004-04-08 14:33 39K 
[ ]mem_sort_lift.con.body.xml.gz2004-04-08 14:33 45K 
[ ]distr_subst_rec.con.types.xml.gz2004-04-08 14:33 51K 
[ ]mem_sort_lift.con.types.xml.gz2004-04-08 14:33 59K 
[ ]red_sort_mem.con.body.xml.gz2004-04-08 14:33 59K 
[ ]mem_sort_subst.con.body.xml.gz2004-04-08 14:33 59K 
[ ]red_sort_mem.con.types.xml.gz2004-04-08 14:33 74K 
[ ]mem_sort_subst.con.types.xml.gz2004-04-08 14:33 91K 
Apache/2.4.61 (Debian) Server at mowgli.cs.unibo.it Port 80