Index of /xml/Coq/Arith/Wf_nat

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]well_founded_ltof.con.proof_tree.xml.gz2004-04-09 18:52 5.2K 
[ ]well_founded_lt_compat.con.proof_tree.xml.gz2004-04-09 18:52 5.0K 
[ ]induction_ltof1.con.proof_tree.xml.gz2004-04-09 18:52 4.2K 
[ ]acc_lt_rel.con.proof_tree.xml.gz2004-04-09 18:52 4.2K 
[ ]lt_wf_double_ind.con.proof_tree.xml.gz2004-04-09 18:52 2.8K 
[ ]lt_wf_double_rec.con.proof_tree.xml.gz2004-04-09 18:52 2.8K 
[ ]well_founded_inv_lt_rel_compat.con.proof_tree.xml.gz2004-04-09 18:52 2.7K 
[ ]well_founded_ltof.con.types.xml.gz2004-04-08 01:28 2.5K 
[ ]well_founded_lt_compat.con.types.xml.gz2004-04-08 01:28 2.4K 
[ ]acc_lt_rel.con.types.xml.gz2004-04-08 01:28 2.3K 
[ ]induction_ltof1.con.body.xml.gz2004-04-08 01:28 2.2K 
[ ]well_founded_lt_compat.con.body.xml.gz2004-04-08 01:28 2.1K 
[ ]well_founded_ltof.con.body.xml.gz2004-04-08 01:28 2.1K 
[ ]acc_lt_rel.con.body.xml.gz2004-04-08 01:28 2.0K 
[ ]lt_wf_ind.con.proof_tree.xml.gz2004-04-09 18:52 1.9K 
[ ]well_founded_inv_lt_rel_compat.con.types.xml.gz2004-04-08 01:28 1.6K 
[ ]well_founded_inv_rel_inv_lt_rel.con.proof_tree.xml.gz2004-04-09 18:52 1.6K 
[ ]lt_wf_double_ind.con.body.xml.gz2004-04-08 01:28 1.5K 
[ ]lt_wf_double_rec.con.body.xml.gz2004-04-08 01:28 1.4K 
[ ]lt_wf_rec1.con.proof_tree.xml.gz2004-04-09 18:52 1.4K 
[ ]lt_wf_rec.con.proof_tree.xml.gz2004-04-09 18:52 1.4K 
[ ]induction_ltof2.con.proof_tree.xml.gz2004-04-09 18:52 1.4K 
[ ]lt_wf_double_ind.con.types.xml.gz2004-04-08 01:28 1.3K 
[ ]induction_gtof2.con.proof_tree.xml.gz2004-04-09 18:52 1.3K 
[ ]induction_gtof1.con.proof_tree.xml.gz2004-04-09 18:52 1.3K 
[ ]INDEX2005-07-05 08:10 1.2K 
[ ]well_founded_inv_lt_rel_compat.con.body.xml.gz2004-04-08 01:28 1.2K 
[ ]induction_ltof1.con.types.xml.gz2004-04-08 01:28 1.1K 
[ ]gt_wf_rec.con.proof_tree.xml.gz2004-04-09 18:52 1.1K 
[ ]lt_wf_ind.con.types.xml.gz2004-04-08 01:28 1.1K 
[ ]lt_wf_ind.con.body.xml.gz2004-04-08 01:28 1.0K 
[ ]gt_wf_ind.con.proof_tree.xml.gz2004-04-09 18:52 1.0K 
[ ]well_founded_inv_rel_inv_lt_rel.con.types.xml.gz2004-04-08 01:28 847  
[ ]gt_wf_ind.con.types.xml.gz2004-04-08 01:28 789  
[ ]well_founded_inv_rel_inv_lt_rel.con.body.xml.gz2004-04-08 01:28 770  
[ ]lt_wf_double_ind.con.xml.gz2004-04-08 01:28 743  
[ ]lt_wf_rec1.con.body.xml.gz2004-04-08 01:28 740  
[ ]lt_wf_double_rec.con.xml.gz2004-04-08 01:28 740  
[ ]lt_wf_rec.con.body.xml.gz2004-04-08 01:28 739  
[ ]well_founded_gtof.con.proof_tree.xml.gz2004-04-09 18:52 735  
[ ]inv_lt_rel.con.body.xml.gz2004-04-08 01:28 636  
[ ]induction_ltof1.con.xml.gz2004-04-08 01:28 602  
[ ]induction_gtof2.con.xml.gz2004-04-08 01:28 602  
[ ]induction_gtof1.con.xml.gz2004-04-08 01:28 602  
[ ]induction_ltof2.con.xml.gz2004-04-08 01:28 601  
[ ]acc_lt_rel.con.xml.gz2004-04-08 01:28 584  
[ ]lt_wf_ind.con.xml.gz2004-04-08 01:28 580  
[ ]lt_wf_rec1.con.xml.gz2004-04-08 01:28 579  
[ ]gt_wf_ind.con.xml.gz2004-04-08 01:28 579  
[ ]gt_wf_rec.con.xml.gz2004-04-08 01:28 578  
[ ]lt_wf_rec.con.xml.gz2004-04-08 01:28 577  
[ ]well_founded_inv_rel_inv_lt_rel.con.xml.gz2004-04-08 01:28 557  
[ ]lt_wf.con.proof_tree.xml.gz2004-04-09 18:52 532  
[ ]lt_wf.con.types.xml.gz2004-04-08 01:28 520  
[ ]gtof.con.body.xml.gz2004-04-08 01:28 434  
[ ]ltof.con.body.xml.gz2004-04-08 01:28 433  
[ ]lt_wf.con.body.xml.gz2004-04-08 01:28 415  
[ ]well_founded_gtof.con.types.xml.gz2004-04-08 01:28 396  
[ ]induction_ltof2.con.body.xml.gz2004-04-08 01:28 383  
[ ]well_founded_inv_lt_rel_compat.con.xml.gz2004-04-08 01:28 373  
[ ]well_founded_lt_compat.con.xml.gz2004-04-08 01:28 357  
[ ]well_founded_ltof.con.xml.gz2004-04-08 01:28 346  
[ ]well_founded_gtof.con.xml.gz2004-04-08 01:28 342  
[ ]lt_wf.con.xml.gz2004-04-08 01:28 325  
[ ]inv_lt_rel.con.xml.gz2004-04-08 01:28 325  
[ ]ltof.con.xml.gz2004-04-08 01:28 319  
[ ]gtof.con.xml.gz2004-04-08 01:28 319  
[ ]induction_gtof2.con.body.xml.gz2004-04-08 01:28 280  
[ ]induction_gtof1.con.body.xml.gz2004-04-08 01:28 279  
[ ]well_founded_gtof.con.body.xml.gz2004-04-08 01:28 278  
[ ]gt_wf_rec.con.body.xml.gz2004-04-08 01:28 245  
[ ]gt_wf_ind.con.body.xml.gz2004-04-08 01:28 245  
[ ]lt_wf_double_rec.con.types.xml.gz2004-04-08 01:28 212  
[ ]induction_ltof2.con.types.xml.gz2004-04-08 01:28 211  
[ ]induction_gtof2.con.types.xml.gz2004-04-08 01:28 211  
[ ]induction_gtof1.con.types.xml.gz2004-04-08 01:28 211  
[ ]lt_wf_rec1.con.types.xml.gz2004-04-08 01:28 202  
[ ]inv_lt_rel.con.types.xml.gz2004-04-08 01:28 202  
[ ]lt_wf_rec.con.types.xml.gz2004-04-08 01:28 200  
[ ]gt_wf_rec.con.types.xml.gz2004-04-08 01:28 200  
[ ]ltof.con.types.xml.gz2004-04-08 01:28 191  
[ ]gtof.con.types.xml.gz2004-04-08 01:28 191  
[DIR]Well_founded_Nat/2005-07-05 08:12 -  
[DIR]LT_WF_REL/2005-07-05 08:12 -  
Apache/2.4.61 (Debian) Server at mowgli.cs.unibo.it Port 80