Index of /xml/Coq/NArith/Pnat

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]nat_of_P_xI.con.types.xml.gz2004-04-08 01:28 13K 
[ ]nat_of_P_xI.con.proof_tree.xml.gz2004-04-09 18:52 12K 
[ ]nat_of_P_gt_Gt_compare_morphism.con.types.xml.gz2004-04-08 01:28 11K 
[ ]nat_of_P_lt_Lt_compare_morphism.con.types.xml.gz2004-04-08 01:28 11K 
[ ]Pmult_nat_l_plus_morphism.con.types.xml.gz2004-04-08 01:28 10K 
[ ]nat_of_P_xO.con.proof_tree.xml.gz2004-04-09 18:52 9.5K 
[ ]nat_of_P_lt_Lt_compare_morphism.con.body.xml.gz2004-04-08 01:28 9.5K 
[ ]nat_of_P_gt_Gt_compare_morphism.con.body.xml.gz2004-04-08 01:28 9.3K 
[ ]Pmult_nat_plus_carry_morphism.con.types.xml.gz2004-04-08 01:28 9.0K 
[ ]nat_of_P_xI.con.body.xml.gz2004-04-08 01:28 8.4K 
[ ]nat_of_P_xO.con.types.xml.gz2004-04-08 01:28 7.9K 
[ ]Pmult_nat_l_plus_morphism.con.body.xml.gz2004-04-08 01:28 7.8K 
[ ]P_of_succ_nat_o_nat_of_P_eq_succ.con.types.xml.gz2004-04-08 01:28 6.6K 
[ ]Pmult_nat_plus_carry_morphism.con.body.xml.gz2004-04-08 01:28 6.0K 
[ ]nat_of_P_xO.con.body.xml.gz2004-04-08 01:28 5.6K 
[ ]Pmult_minus_distr_l.con.body.xml.gz2004-04-08 01:28 5.2K 
[ ]P_of_succ_nat_o_nat_of_P_eq_succ.con.body.xml.gz2004-04-08 01:28 5.1K 
[ ]nat_of_P_mult_morphism.con.types.xml.gz2004-04-08 01:28 5.0K 
[ ]nat_of_P_mult_morphism.con.body.xml.gz2004-04-08 01:28 5.0K 
[ ]Pmult_minus_distr_l.con.proof_tree.xml.gz2004-04-09 18:52 4.8K 
[ ]Pmult_minus_distr_l.con.types.xml.gz2004-04-08 01:28 4.5K 
[ ]Pmult_nat_r_plus_morphism.con.types.xml.gz2004-04-08 01:28 4.5K 
[ ]Pcompare_minus_r.con.proof_tree.xml.gz2004-04-09 18:52 4.4K 
[ ]ZL4.con.types.xml.gz2004-04-08 01:28 4.4K 
[ ]Pmult_nat_mult_permute.con.proof_tree.xml.gz2004-04-09 18:52 4.3K 
[ ]Pcompare_minus_l.con.proof_tree.xml.gz2004-04-09 18:52 4.1K 
[ ]Pmult_nat_r_plus_morphism.con.body.xml.gz2004-04-08 01:28 4.1K 
[ ]Pcompare_minus_r.con.body.xml.gz2004-04-08 01:28 3.8K 
[ ]nat_of_P_gt_Gt_compare_complement_morphism.con.proof_tree.xml.gz2004-04-09 18:52 3.8K 
[ ]nat_of_P_lt_Lt_compare_complement_morphism.con.proof_tree.xml.gz2004-04-09 18:52 3.6K 
[ ]Pmult_nat_mult_permute.con.types.xml.gz2004-04-08 01:28 3.6K 
[ ]ZL4.con.body.xml.gz2004-04-08 01:28 3.3K 
[ ]Pcompare_minus_r.con.types.xml.gz2004-04-08 01:28 3.2K 
[ ]nat_of_P_gt_Gt_compare_complement_morphism.con.types.xml.gz2004-04-08 01:28 3.2K 
[ ]nat_of_P_lt_Lt_compare_complement_morphism.con.types.xml.gz2004-04-08 01:28 3.1K 
[ ]nat_of_P_gt_Gt_compare_complement_morphism.con.body.xml.gz2004-04-08 01:28 3.0K 
[ ]nat_of_P_lt_Lt_compare_complement_morphism.con.body.xml.gz2004-04-08 01:28 3.0K 
[ ]ZL16.con.proof_tree.xml.gz2004-04-09 18:52 3.0K 
[ ]Pmult_nat_mult_permute.con.body.xml.gz2004-04-08 01:28 2.9K 
[ ]Pmult_nat_succ_morphism.con.types.xml.gz2004-04-08 01:28 2.7K 
[ ]nat_of_P_minus_morphism.con.proof_tree.xml.gz2004-04-09 18:52 2.6K 
[ ]Pcompare_minus_l.con.body.xml.gz2004-04-08 01:28 2.4K 
[ ]INDEX2005-07-05 08:11 2.4K 
[ ]ZL17.con.proof_tree.xml.gz2004-04-09 18:52 2.3K 
[ ]Pcompare_minus_l.con.types.xml.gz2004-04-08 01:28 2.2K 
[ ]le_Pmult_nat.con.proof_tree.xml.gz2004-04-09 18:52 2.2K 
[ ]ZL5.con.types.xml.gz2004-04-08 01:28 2.1K 
[ ]Pmult_nat_succ_morphism.con.body.xml.gz2004-04-08 01:28 2.0K 
[ ]ZL3.con.types.xml.gz2004-04-08 01:28 1.9K 
[ ]ZL8.con.proof_tree.xml.gz2004-04-09 18:52 1.7K 
[ ]ZL17.con.body.xml.gz2004-04-08 01:28 1.7K 
[ ]ZL3.con.body.xml.gz2004-04-08 01:28 1.7K 
[ ]ZL17.con.types.xml.gz2004-04-08 01:28 1.7K 
[ ]ZL16.con.body.xml.gz2004-04-08 01:28 1.7K 
[ ]ZL7.con.proof_tree.xml.gz2004-04-09 18:52 1.7K 
[ ]nat_of_P_minus_morphism.con.body.xml.gz2004-04-08 01:28 1.7K 
[ ]nat_of_P_minus_morphism.con.types.xml.gz2004-04-08 01:28 1.6K 
[ ]ZL16.con.types.xml.gz2004-04-08 01:28 1.6K 
[ ]nat_of_P_plus_carry_morphism.con.proof_tree.xml.gz2004-04-09 18:52 1.6K 
[ ]nat_of_P_succ_morphism.con.proof_tree.xml.gz2004-04-09 18:52 1.5K 
[ ]lt_O_nat_of_P.con.proof_tree.xml.gz2004-04-09 18:52 1.5K 
[ ]ZL5.con.body.xml.gz2004-04-08 01:28 1.5K 
[ ]Pmult_nat_4_mult_2_permute.con.proof_tree.xml.gz2004-04-09 18:52 1.5K 
[ ]le_Pmult_nat.con.types.xml.gz2004-04-08 01:28 1.4K 
[ ]nat_of_P_gt_Gt_compare_morphism.con.proof_tree.xml.gz2004-04-09 18:52 1.4K 
[ ]Pmult_nat_2_mult_2_permute.con.proof_tree.xml.gz2004-04-09 18:52 1.3K 
[ ]nat_of_P_o_P_of_succ_nat_eq_succ.con.types.xml.gz2004-04-08 01:28 1.3K 
[ ]Pmult_nat_4_mult_2_permute.con.types.xml.gz2004-04-08 01:28 1.3K 
[ ]nat_of_P_plus_carry_morphism.con.types.xml.gz2004-04-08 01:28 1.3K 
[ ]nat_of_P_o_P_of_succ_nat_eq_succ.con.body.xml.gz2004-04-08 01:28 1.3K 
[ ]ZL6.con.proof_tree.xml.gz2004-04-09 18:52 1.2K 
[ ]nat_of_P_inj.con.proof_tree.xml.gz2004-04-09 18:52 1.2K 
[ ]nat_of_P_inj.con.body.xml.gz2004-04-08 01:28 1.2K 
[ ]Pmult_nat_2_mult_2_permute.con.types.xml.gz2004-04-08 01:28 1.2K 
[ ]nat_of_P_plus_morphism.con.proof_tree.xml.gz2004-04-09 18:52 1.2K 
[ ]ZL6.con.types.xml.gz2004-04-08 01:28 1.2K 
[ ]le_Pmult_nat.con.body.xml.gz2004-04-08 01:28 1.0K 
[ ]Pmult_nat_4_mult_2_permute.con.body.xml.gz2004-04-08 01:28 1.0K 
[ ]pred_o_P_of_succ_nat_o_nat_of_P_eq_id.con.proof_tree.xml.gz2004-04-09 18:52 1.0K 
[ ]nat_of_P_plus_carry_morphism.con.body.xml.gz2004-04-08 01:28 1.0K 
[ ]nat_of_P_inj.con.types.xml.gz2004-04-08 01:28 963  
[ ]Pmult_nat_2_mult_2_permute.con.body.xml.gz2004-04-08 01:28 961  
[ ]ZL8.con.types.xml.gz2004-04-08 01:28 955  
[ ]Pmult_nat_plus_carry_morphism.con.proof_tree.xml.gz2004-04-09 18:52 920  
[ ]nat_of_P_lt_Lt_compare_morphism.con.proof_tree.xml.gz2004-04-09 18:52 903  
[ ]Pmult_nat_l_plus_morphism.con.proof_tree.xml.gz2004-04-09 18:52 900  
[ ]nat_of_P_plus_morphism.con.types.xml.gz2004-04-08 01:28 883  
[ ]ZL6.con.body.xml.gz2004-04-08 01:28 880  
[ ]ZL8.con.body.xml.gz2004-04-08 01:28 875  
[ ]Pmult_nat_r_plus_morphism.con.proof_tree.xml.gz2004-04-09 18:52 854  
[ ]ZL7.con.body.xml.gz2004-04-08 01:28 845  
[ ]pred_o_P_of_succ_nat_o_nat_of_P_eq_id.con.body.xml.gz2004-04-08 01:28 839  
[ ]Pmult_nat_succ_morphism.con.proof_tree.xml.gz2004-04-09 18:52 828  
[ ]pred_o_P_of_succ_nat_o_nat_of_P_eq_id.con.types.xml.gz2004-04-08 01:28 801  
[ ]ZL7.con.types.xml.gz2004-04-08 01:28 798  
[ ]nat_of_P_succ_morphism.con.types.xml.gz2004-04-08 01:28 786  
[ ]nat_of_P_mult_morphism.con.proof_tree.xml.gz2004-04-09 18:52 773  
[ ]ZL5.con.proof_tree.xml.gz2004-04-09 18:52 765  
[ ]ZL3.con.proof_tree.xml.gz2004-04-09 18:52 746  
[ ]lt_O_nat_of_P.con.types.xml.gz2004-04-08 01:28 743  
[ ]ZL4.con.proof_tree.xml.gz2004-04-09 18:52 737  
[ ]Pcompare_minus_l.con.xml.gz2004-04-08 01:28 729  
[ ]Pcompare_minus_r.con.xml.gz2004-04-08 01:28 726  
[ ]nat_of_P_o_P_of_succ_nat_eq_succ.con.proof_tree.xml.gz2004-04-09 18:52 703  
[ ]P_of_succ_nat_o_nat_of_P_eq_succ.con.proof_tree.xml.gz2004-04-09 18:52 685  
[ ]Pmult_minus_distr_l.con.xml.gz2004-04-08 01:28 664  
[ ]nat_of_P_minus_morphism.con.xml.gz2004-04-08 01:28 636  
[ ]Pmult_nat_4_mult_2_permute.con.xml.gz2004-04-08 01:28 636  
[ ]nat_of_P_lt_Lt_compare_complement_morphism.con.xml.gz2004-04-08 01:28 609  
[ ]nat_of_P_gt_Gt_compare_complement_morphism.con.xml.gz2004-04-08 01:28 609  
[ ]Pmult_nat_plus_carry_morphism.con.xml.gz2004-04-08 01:28 601  
[ ]Pmult_nat_l_plus_morphism.con.xml.gz2004-04-08 01:28 593  
[ ]nat_of_P_gt_Gt_compare_morphism.con.xml.gz2004-04-08 01:28 592  
[ ]nat_of_P_lt_Lt_compare_morphism.con.xml.gz2004-04-08 01:28 589  
[ ]Pmult_nat_2_mult_2_permute.con.xml.gz2004-04-08 01:28 585  
[ ]lt_O_nat_of_P.con.body.xml.gz2004-04-08 01:28 584  
[ ]nat_of_P_xH.con.proof_tree.xml.gz2004-04-09 18:52 583  
[ ]nat_of_P_plus_carry_morphism.con.xml.gz2004-04-08 01:28 568  
[ ]Pmult_nat_r_plus_morphism.con.xml.gz2004-04-08 01:28 562  
[ ]nat_of_P_xI.con.xml.gz2004-04-08 01:28 559  
[ ]Pmult_nat_mult_permute.con.xml.gz2004-04-08 01:28 553  
[ ]Pmult_nat_succ_morphism.con.xml.gz2004-04-08 01:28 545  
[ ]nat_of_P_plus_morphism.con.xml.gz2004-04-08 01:28 536  
[ ]nat_of_P_mult_morphism.con.xml.gz2004-04-08 01:28 536  
[ ]ZL6.con.xml.gz2004-04-08 01:28 534  
[ ]nat_of_P_xO.con.xml.gz2004-04-08 01:28 532  
[ ]ZL5.con.xml.gz2004-04-08 01:28 527  
[ ]ZL4.con.xml.gz2004-04-08 01:28 519  
[ ]ZL3.con.xml.gz2004-04-08 01:28 510  
[ ]nat_of_P_succ_morphism.con.xml.gz2004-04-08 01:28 506  
[ ]ZL8.con.xml.gz2004-04-08 01:28 502  
[ ]nat_of_P_inj.con.xml.gz2004-04-08 01:28 500  
[ ]nat_of_P_o_P_of_succ_nat_eq_succ.con.xml.gz2004-04-08 01:28 499  
[ ]pred_o_P_of_succ_nat_o_nat_of_P_eq_id.con.xml.gz2004-04-08 01:28 495  
[ ]nat_of_P_plus_morphism.con.body.xml.gz2004-04-08 01:28 489  
[ ]P_of_succ_nat_o_nat_of_P_eq_succ.con.xml.gz2004-04-08 01:28 481  
[ ]ZL16.con.xml.gz2004-04-08 01:28 473  
[ ]ZL7.con.xml.gz2004-04-08 01:28 465  
[ ]nat_of_P_succ_morphism.con.body.xml.gz2004-04-08 01:28 463  
[ ]ZL17.con.xml.gz2004-04-08 01:28 459  
[ ]nat_of_P_xH.con.types.xml.gz2004-04-08 01:28 455  
[ ]le_Pmult_nat.con.xml.gz2004-04-08 01:28 440  
[ ]lt_O_nat_of_P.con.xml.gz2004-04-08 01:28 437  
[ ]nat_of_P_xH.con.xml.gz2004-04-08 01:28 381  
[ ]nat_of_P_xH.con.body.xml.gz2004-04-08 01:28 355  
Apache/2.4.61 (Debian) Server at mowgli.cs.unibo.it Port 80