Index of /xml/Coq/NArith/BinPos

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]Prec.con.types.xml.gz2004-04-08 01:28 190  
[ ]Pdiv2.con.types.xml.gz2004-04-08 01:28 192  
[ ]Pmult.con.types.xml.gz2004-04-08 01:28 192  
[ ]Pplus.con.types.xml.gz2004-04-08 01:28 192  
[ ]Ppred.con.types.xml.gz2004-04-08 01:28 192  
[ ]Psucc.con.types.xml.gz2004-04-08 01:28 192  
[ ]Pminus.con.types.xml.gz2004-04-08 01:28 194  
[ ]positive.ind.types.xml.gz2004-04-08 01:28 196  
[ ]Pcompare.con.types.xml.gz2004-04-08 01:28 197  
[ ]nat_of_P.con.types.xml.gz2004-04-08 01:28 198  
[ ]Pmult_nat.con.types.xml.gz2004-04-08 01:28 200  
[ ]plus_iter.con.types.xml.gz2004-04-08 01:28 200  
[ ]iterate_add.con.types.xml.gz2004-04-08 01:28 203  
[ ]Pminus_mask.con.types.xml.gz2004-04-08 01:28 204  
[ ]Pplus_carry.con.types.xml.gz2004-04-08 01:28 204  
[ ]positive_rec.con.types.xml.gz2004-04-08 01:28 205  
[ ]Pdouble_mask.con.types.xml.gz2004-04-08 01:28 206  
[ ]positive_mask.ind.types.xml.gz2004-04-08 01:28 206  
[ ]positive_rect.con.types.xml.gz2004-04-08 01:28 206  
[ ]P_of_succ_nat.con.types.xml.gz2004-04-08 01:28 207  
[ ]Pdouble_minus_one.con.types.xml.gz2004-04-08 01:28 213  
[ ]Pdouble_minus_two.con.types.xml.gz2004-04-08 01:28 214  
[ ]positive_mask_rec.con.types.xml.gz2004-04-08 01:28 214  
[ ]Pminus_mask_carry.con.types.xml.gz2004-04-08 01:28 215  
[ ]positive_mask_rect.con.types.xml.gz2004-04-08 01:28 216  
[ ]Pdouble_plus_one_mask.con.types.xml.gz2004-04-08 01:28 222  
[ ]Ppred.con.xml.gz2004-04-08 01:28 281  
[ ]Psucc.con.xml.gz2004-04-08 01:28 281  
[ ]Pdiv2.con.xml.gz2004-04-08 01:28 284  
[ ]Pminus.con.xml.gz2004-04-08 01:28 292  
[ ]Pplus.con.xml.gz2004-04-08 01:28 292  
[ ]Pmult.con.xml.gz2004-04-08 01:28 293  
[ ]Pdouble_mask.con.xml.gz2004-04-08 01:28 297  
[ ]plus_iter.con.xml.gz2004-04-08 01:28 300  
[ ]Pdouble_minus_one.con.xml.gz2004-04-08 01:28 303  
[ ]nat_of_P.con.xml.gz2004-04-08 01:28 303  
[ ]Pplus_carry.con.xml.gz2004-04-08 01:28 304  
[ ]P_of_succ_nat.con.xml.gz2004-04-08 01:28 308  
[ ]Pdouble_minus_two.con.xml.gz2004-04-08 01:28 310  
[ ]Pminus_mask.con.xml.gz2004-04-08 01:28 311  
[ ]Pdouble_plus_one_mask.con.xml.gz2004-04-08 01:28 313  
[ ]Pmult_nat.con.xml.gz2004-04-08 01:28 313  
[ ]Pminus_mask_carry.con.xml.gz2004-04-08 01:28 322  
[ ]Pcompare.con.xml.gz2004-04-08 01:28 323  
[ ]positive.ind.xml.gz2004-04-08 01:28 387  
[ ]positive_mask.ind.xml.gz2004-04-08 01:28 393  
[ ]Prec.con.xml.gz2004-04-08 01:28 397  
[ ]positive_rec.con.body.xml.gz2004-04-08 01:28 414  
[ ]positive_ind.con.body.xml.gz2004-04-08 01:28 417  
[ ]nat_of_P.con.body.xml.gz2004-04-08 01:28 421  
[ ]positive_mask_rec.con.body.xml.gz2004-04-08 01:28 424  
[ ]positive_mask_ind.con.body.xml.gz2004-04-08 01:28 427  
[ ]Pmult_1_r.con.xml.gz2004-04-08 01:28 428  
[ ]Ppred_succ.con.xml.gz2004-04-08 01:28 432  
[ ]Psucc_discr.con.xml.gz2004-04-08 01:28 438  
[ ]Pplus_diag.con.xml.gz2004-04-08 01:28 443  
[ ]Pminus_mask_diag.con.xml.gz2004-04-08 01:28 446  
[ ]plus_iter_xO.con.xml.gz2004-04-08 01:28 447  
[ ]Pplus_comm.con.xml.gz2004-04-08 01:28 450  
[ ]Pmult_comm.con.xml.gz2004-04-08 01:28 452  
[ ]xI_succ_xO.con.body.xml.gz2004-04-08 01:28 452  
[ ]Psucc_not_one.con.xml.gz2004-04-08 01:28 455  
[ ]Pcompare_refl.con.xml.gz2004-04-08 01:28 457  
[ ]xI_succ_xO.con.xml.gz2004-04-08 01:28 458  
[ ]Pplus_one_succ_r.con.xml.gz2004-04-08 01:28 459  
[ ]Pplus_one_succ_l.con.xml.gz2004-04-08 01:28 463  
[ ]plus_iter_eq_plus.con.xml.gz2004-04-08 01:28 465  
[ ]ZL11.con.xml.gz2004-04-08 01:28 467  
[ ]Pplus_no_neutral.con.xml.gz2004-04-08 01:28 468  
[ ]Psucc_inj.con.xml.gz2004-04-08 01:28 480  
[ ]plus_iter_xI.con.xml.gz2004-04-08 01:28 480  
[ ]double_eq_one_discr.con.xml.gz2004-04-08 01:28 491  
[ ]Pplus_carry_spec.con.xml.gz2004-04-08 01:28 492  
[ ]double_moins_un_xO_discr.con.xml.gz2004-04-08 01:28 493  
[ ]double_plus_one_zero_discr.con.xml.gz2004-04-08 01:28 493  
[ ]Psucc_pred.con.xml.gz2004-04-08 01:28 494  
[ ]Pdouble_minus_one_o_succ_eq_xI.con.xml.gz2004-04-08 01:28 496  
[ ]Psucc_o_double_minus_one_eq_xO.con.xml.gz2004-04-08 01:28 498  
[ ]xO_succ_permute.con.xml.gz2004-04-08 01:28 498  
[ ]Dcompare.con.xml.gz2004-04-08 01:28 499  
[ ]double_eq_zero_inversion.con.xml.gz2004-04-08 01:28 499  
[ ]Pplus_carry_no_neutral.con.xml.gz2004-04-08 01:28 500  
[ ]Pdiv2.con.body.xml.gz2004-04-08 01:28 501  
[ ]Pmult_xO_discr.con.xml.gz2004-04-08 01:28 502  
[ ]Pmult_1_inversion_l.con.xml.gz2004-04-08 01:28 504  
[ ]Pplus_reg_l.con.xml.gz2004-04-08 01:28 510  
[ ]Pplus_succ_permute_l.con.xml.gz2004-04-08 01:28 512  
[ ]Pplus_succ_permute_r.con.xml.gz2004-04-08 01:28 512  
[ ]Pmult_reg_l.con.xml.gz2004-04-08 01:28 513  
[ ]Pmult_reg_r.con.xml.gz2004-04-08 01:28 513  
[ ]Pplus_assoc.con.xml.gz2004-04-08 01:28 516  
[ ]Pmult_xO_permute_r.con.xml.gz2004-04-08 01:28 517  
[ ]Pplus_reg_r.con.xml.gz2004-04-08 01:28 517  
[ ]Pmult_assoc.con.xml.gz2004-04-08 01:28 518  
[ ]ZC4.con.xml.gz2004-04-08 01:28 519  
[ ]Pplus_carry_reg_r.con.xml.gz2004-04-08 01:28 524  
[ ]Pplus_carry_reg_l.con.xml.gz2004-04-08 01:28 525  
[ ]Pcompare_Eq_eq.con.xml.gz2004-04-08 01:28 528  
[ ]ZC3.con.xml.gz2004-04-08 01:28 529  
[ ]ZL10.con.xml.gz2004-04-08 01:28 534  
[ ]double_plus_one_eq_one_inversion.con.xml.gz2004-04-08 01:28 534  
[ ]Pcase.con.xml.gz2004-04-08 01:28 535  
[ ]ZC1.con.xml.gz2004-04-08 01:28 535  
[ ]ZC2.con.xml.gz2004-04-08 01:28 535  
[ ]Pcompare_Gt_Lt.con.xml.gz2004-04-08 01:28 545  
[ ]Pcompare_Lt_Gt.con.xml.gz2004-04-08 01:28 545  
[ ]Pmult_xI_permute_r.con.xml.gz2004-04-08 01:28 547  
[ ]Pplus_xI_double_minus_one.con.xml.gz2004-04-08 01:28 548  
[ ]Pcompare_antisym.con.xml.gz2004-04-08 01:28 549  
[ ]Pplus_xO_double_minus_one.con.xml.gz2004-04-08 01:28 550  
[ ]Pdouble_mask.con.body.xml.gz2004-04-08 01:28 552  
[ ]Pmult_plus_distr_l.con.xml.gz2004-04-08 01:28 559  
[ ]positive_mask_rect.con.xml.gz2004-04-08 01:28 560  
[ ]Pind.con.xml.gz2004-04-08 01:28 562  
[ ]positive_mask_rec.con.xml.gz2004-04-08 01:28 562  
[ ]Pmult_plus_distr_r.con.xml.gz2004-04-08 01:28 565  
[ ]positive_mask_ind.con.xml.gz2004-04-08 01:28 565  
[ ]Pmult_xI_mult_xO_discr.con.xml.gz2004-04-08 01:28 567  
[ ]Ppred.con.body.xml.gz2004-04-08 01:28 567  
[ ]Pplus_carry_plus.con.xml.gz2004-04-08 01:28 568  
[ ]Pminus.con.body.xml.gz2004-04-08 01:28 569  
[ ]Pplus_minus.con.xml.gz2004-04-08 01:28 576  
[ ]Pplus_carry_pred_eq_plus.con.xml.gz2004-04-08 01:28 587  
[ ]Pdouble_plus_one_mask.con.body.xml.gz2004-04-08 01:28 590  
[ ]Pcompare_not_Eq.con.xml.gz2004-04-08 01:28 593  
[ ]iterate_add.con.xml.gz2004-04-08 01:28 608  
[ ]Pcompare_Gt_Gt.con.xml.gz2004-04-08 01:28 611  
[ ]Pcompare_Lt_Lt.con.xml.gz2004-04-08 01:28 611  
[ ]positive_rect.con.xml.gz2004-04-08 01:28 614  
[ ]positive_rec.con.xml.gz2004-04-08 01:28 615  
[ ]Pplus_carry_reg_r.con.body.xml.gz2004-04-08 01:28 616  
[ ]positive_ind.con.xml.gz2004-04-08 01:28 621  
[ ]plus_iter_xO.con.body.xml.gz2004-04-08 01:28 627  
[ ]Pmult_1_r.con.proof_tree.xml.gz2004-04-09 18:52 634  
[ ]Pminus_mask_diag.con.proof_tree.xml.gz2004-04-09 18:52 642  
[ ]Pdouble_minus_two.con.body.xml.gz2004-04-08 01:28 643  
[ ]Pplus_diag.con.proof_tree.xml.gz2004-04-09 18:52 645  
[ ]xI_succ_xO.con.types.xml.gz2004-04-08 01:28 645  
[ ]ZC4.con.body.xml.gz2004-04-08 01:28 650  
[ ]plus_iter_xO.con.types.xml.gz2004-04-08 01:28 655  
[ ]Pcompare_refl.con.proof_tree.xml.gz2004-04-09 18:52 656  
[ ]Pmult_comm.con.proof_tree.xml.gz2004-04-09 18:52 659  
[ ]Pplus_carry_reg_r.con.types.xml.gz2004-04-08 01:28 671  
[ ]Pcase.con.body.xml.gz2004-04-08 01:28 683  
[ ]P_of_succ_nat.con.body.xml.gz2004-04-08 01:28 685  
[ ]Psucc.con.body.xml.gz2004-04-08 01:28 689  
[ ]Pdouble_minus_one_o_succ_eq_xI.con.proof_tree.xml.gz2004-04-09 18:52 701  
[ ]Psucc_o_double_minus_one_eq_xO.con.proof_tree.xml.gz2004-04-09 18:52 702  
[ ]Pdouble_minus_one.con.body.xml.gz2004-04-08 01:28 703  
[ ]Pplus_comm.con.proof_tree.xml.gz2004-04-09 18:52 711  
[ ]Pmult_xO_discr.con.proof_tree.xml.gz2004-04-09 18:52 714  
[ ]xO_succ_permute.con.proof_tree.xml.gz2004-04-09 18:52 714  
[ ]plus_iter_eq_plus.con.proof_tree.xml.gz2004-04-09 18:52 717  
[ ]positive_mask_ind.con.types.xml.gz2004-04-08 01:28 718  
[ ]Pplus_no_neutral.con.proof_tree.xml.gz2004-04-09 18:52 722  
[ ]Psucc_pred.con.proof_tree.xml.gz2004-04-09 18:52 722  
[ ]Pcase.con.types.xml.gz2004-04-08 01:28 723  
[ ]positive_mask_rect.con.body.xml.gz2004-04-08 01:28 732  
[ ]Pmult_xO_permute_r.con.proof_tree.xml.gz2004-04-09 18:52 747  
[ ]Pcompare_refl.con.body.xml.gz2004-04-08 01:28 754  
[ ]xI_succ_xO.con.proof_tree.xml.gz2004-04-09 18:52 760  
[ ]Pplus_carry_spec.con.proof_tree.xml.gz2004-04-09 18:52 761  
[ ]Psucc_inj.con.proof_tree.xml.gz2004-04-09 18:52 764  
[ ]Pmult.con.body.xml.gz2004-04-08 01:28 771  
[ ]plus_iter.con.body.xml.gz2004-04-08 01:28 773  
[ ]Pplus_one_succ_r.con.body.xml.gz2004-04-08 01:28 777  
[ ]Pplus_one_succ_l.con.body.xml.gz2004-04-08 01:28 779  
[ ]Pplus_succ_permute_r.con.proof_tree.xml.gz2004-04-09 18:52 780  
[ ]Pmult_xI_permute_r.con.proof_tree.xml.gz2004-04-09 18:52 790  
[ ]Pmult_nat.con.body.xml.gz2004-04-08 01:28 792  
[ ]Pmult_xI_mult_xO_discr.con.proof_tree.xml.gz2004-04-09 18:52 795  
[ ]positive_ind.con.types.xml.gz2004-04-08 01:28 806  
[ ]Pmult_plus_distr_l.con.proof_tree.xml.gz2004-04-09 18:52 812  
[ ]Pmult_assoc.con.proof_tree.xml.gz2004-04-09 18:52 816  
[ ]Pcompare_Eq_eq.con.proof_tree.xml.gz2004-04-09 18:52 821  
[ ]Pmult_reg_r.con.proof_tree.xml.gz2004-04-09 18:52 821  
[ ]ZC4.con.types.xml.gz2004-04-08 01:28 832  
[ ]Pmult_reg_l.con.types.xml.gz2004-04-08 01:28 833  
[ ]Pplus_reg_l.con.types.xml.gz2004-04-08 01:28 838  
[ ]Pcompare_antisym.con.proof_tree.xml.gz2004-04-09 18:52 855  
[ ]ZL10.con.proof_tree.xml.gz2004-04-09 18:52 855  
[ ]Pcompare_Gt_Lt.con.proof_tree.xml.gz2004-04-09 18:52 864  
[ ]Pcompare_Lt_Gt.con.proof_tree.xml.gz2004-04-09 18:52 864  
[ ]Pplus_carry_reg_l.con.types.xml.gz2004-04-08 01:28 913  
[ ]plus_iter_xI.con.types.xml.gz2004-04-08 01:28 921  
[ ]Pminus_mask_Gt.con.xml.gz2004-04-08 01:28 922  
[ ]Pplus_succ_permute_l.con.types.xml.gz2004-04-08 01:28 926  
[ ]Pcompare_not_Eq.con.proof_tree.xml.gz2004-04-09 18:52 929  
[ ]Pplus_succ_permute_l.con.body.xml.gz2004-04-08 01:28 938  
[ ]ZC1.con.types.xml.gz2004-04-08 01:28 950  
[ ]ZC2.con.types.xml.gz2004-04-08 01:28 950  
[ ]ZC3.con.types.xml.gz2004-04-08 01:28 950  
[ ]ZC1.con.body.xml.gz2004-04-08 01:28 965  
[ ]ZC2.con.body.xml.gz2004-04-08 01:28 965  
[ ]Pplus_carry_plus.con.types.xml.gz2004-04-08 01:28 967  
[ ]Pcompare_Gt_Gt.con.proof_tree.xml.gz2004-04-09 18:52 970  
[ ]Pcompare_Lt_Lt.con.proof_tree.xml.gz2004-04-09 18:52 970  
[ ]Pmult_reg_l.con.body.xml.gz2004-04-08 01:28 1.0K 
[ ]ZC3.con.body.xml.gz2004-04-08 01:28 1.0K 
[ ]Pplus_reg_l.con.body.xml.gz2004-04-08 01:28 1.0K 
[ ]xO_succ_permute.con.body.xml.gz2004-04-08 01:28 1.0K 
[ ]Pind.con.proof_tree.xml.gz2004-04-09 18:52 1.0K 
[ ]Prec.con.body.xml.gz2004-04-08 01:28 1.0K 
[ ]positive_rect.con.body.xml.gz2004-04-08 01:28 1.0K 
[ ]Pplus_carry_reg_l.con.body.xml.gz2004-04-08 01:28 1.0K 
[ ]plus_iter_xI.con.body.xml.gz2004-04-08 01:28 1.0K 
[ ]Psucc_not_one.con.proof_tree.xml.gz2004-04-09 18:52 1.1K 
[ ]Pplus_carry_plus.con.body.xml.gz2004-04-08 01:28 1.1K 
[ ]Pminus_mask_diag.con.body.xml.gz2004-04-08 01:28 1.1K 
[ ]Pmult_1_r.con.body.xml.gz2004-04-08 01:28 1.1K 
[ ]plus_iter_xO.con.proof_tree.xml.gz2004-04-09 18:52 1.1K 
[ ]Pplus_one_succ_l.con.types.xml.gz2004-04-08 01:28 1.1K 
[ ]Pplus_one_succ_r.con.types.xml.gz2004-04-08 01:28 1.1K 
[ ]Dcompare.con.body.xml.gz2004-04-08 01:28 1.1K 
[ ]Psucc_o_double_minus_one_eq_xO.con.body.xml.gz2004-04-08 01:28 1.1K 
[ ]Pcompare.con.body.xml.gz2004-04-08 01:28 1.1K 
[ ]Pdouble_minus_one_o_succ_eq_xI.con.body.xml.gz2004-04-08 01:28 1.1K 
[ ]Pind.con.types.xml.gz2004-04-08 01:28 1.1K 
[ ]Dcompare.con.types.xml.gz2004-04-08 01:28 1.2K 
[ ]Psucc_discr.con.proof_tree.xml.gz2004-04-09 18:52 1.2K 
[ ]Ppred_succ.con.proof_tree.xml.gz2004-04-09 18:52 1.2K 
[ ]Pplus_one_succ_r.con.proof_tree.xml.gz2004-04-09 18:52 1.2K 
[ ]Pplus_one_succ_l.con.proof_tree.xml.gz2004-04-09 18:52 1.2K 
[ ]Pplus_carry_no_neutral.con.body.xml.gz2004-04-08 01:28 1.2K 
[ ]Pcompare_refl.con.types.xml.gz2004-04-08 01:28 1.2K 
[ ]Pmult_plus_distr_r.con.types.xml.gz2004-04-08 01:28 1.2K 
[ ]Pcase.con.proof_tree.xml.gz2004-04-09 18:52 1.2K 
[ ]double_moins_un_xO_discr.con.proof_tree.xml.gz2004-04-09 18:52 1.3K 
[ ]Pmult_comm.con.body.xml.gz2004-04-08 01:28 1.3K 
[ ]ZC1.con.proof_tree.xml.gz2004-04-09 18:52 1.3K 
[ ]ZC2.con.proof_tree.xml.gz2004-04-09 18:52 1.3K 
[ ]Pplus_assoc.con.proof_tree.xml.gz2004-04-09 18:52 1.3K 
[ ]Psucc_pred.con.body.xml.gz2004-04-08 01:28 1.3K 
[ ]Pmult_plus_distr_r.con.body.xml.gz2004-04-08 01:28 1.3K 
[ ]Pplus_reg_r.con.proof_tree.xml.gz2004-04-09 18:52 1.3K 
[ ]iterate_add.con.body.xml.gz2004-04-08 01:28 1.3K 
[ ]ZC3.con.proof_tree.xml.gz2004-04-09 18:52 1.3K 
[ ]Pmult_1_r.con.types.xml.gz2004-04-08 01:28 1.3K 
[ ]Pplus_succ_permute_l.con.proof_tree.xml.gz2004-04-09 18:52 1.3K 
[ ]Pminus_mask_diag.con.types.xml.gz2004-04-08 01:28 1.3K 
[ ]Pind.con.body.xml.gz2004-04-08 01:28 1.3K 
[ ]Pplus_carry_reg_r.con.proof_tree.xml.gz2004-04-09 18:52 1.4K 
[ ]Pplus_xI_double_minus_one.con.body.xml.gz2004-04-08 01:28 1.4K 
[ ]Dcompare.con.proof_tree.xml.gz2004-04-09 18:52 1.4K 
[ ]Pmult_reg_l.con.proof_tree.xml.gz2004-04-09 18:52 1.4K 
[ ]Pplus_carry_no_neutral.con.types.xml.gz2004-04-08 01:28 1.4K 
[ ]Pplus_reg_l.con.proof_tree.xml.gz2004-04-09 18:52 1.4K 
[ ]double_plus_one_zero_discr.con.proof_tree.xml.gz2004-04-09 18:52 1.4K 
[ ]ZC4.con.proof_tree.xml.gz2004-04-09 18:52 1.4K 
[ ]Pplus_xI_double_minus_one.con.types.xml.gz2004-04-08 01:28 1.5K 
[ ]Pminus_mask_Gt.con.proof_tree.xml.gz2004-04-09 18:52 1.5K 
[ ]double_eq_one_discr.con.proof_tree.xml.gz2004-04-09 18:52 1.5K 
[ ]Pdouble_minus_one_o_succ_eq_xI.con.types.xml.gz2004-04-08 01:28 1.5K 
[ ]Psucc_o_double_minus_one_eq_xO.con.types.xml.gz2004-04-08 01:28 1.5K 
[ ]Pplus_diag.con.body.xml.gz2004-04-08 01:28 1.5K 
[ ]Pplus_xI_double_minus_one.con.proof_tree.xml.gz2004-04-09 18:52 1.5K 
[ ]Pplus_carry_reg_l.con.proof_tree.xml.gz2004-04-09 18:52 1.5K 
[ ]double_eq_zero_inversion.con.body.xml.gz2004-04-08 01:28 1.5K 
[ ]Pplus_carry_plus.con.proof_tree.xml.gz2004-04-09 18:52 1.5K 
[ ]Pmult_xO_permute_r.con.body.xml.gz2004-04-08 01:28 1.6K 
[ ]Pmult_plus_distr_r.con.proof_tree.xml.gz2004-04-09 18:52 1.6K 
[ ]double_eq_zero_inversion.con.proof_tree.xml.gz2004-04-09 18:52 1.6K 
[ ]xO_succ_permute.con.types.xml.gz2004-04-08 01:28 1.6K 
[ ]Pmult_comm.con.types.xml.gz2004-04-08 01:28 1.6K 
[ ]double_plus_one_zero_discr.con.body.xml.gz2004-04-08 01:28 1.6K 
[ ]Psucc_not_one.con.body.xml.gz2004-04-08 01:28 1.7K 
[ ]Pplus_diag.con.types.xml.gz2004-04-08 01:28 1.7K 
[ ]Pminus_mask.con.body.xml.gz2004-04-08 01:28 1.7K 
[ ]double_plus_one_eq_one_inversion.con.proof_tree.xml.gz2004-04-09 18:52 1.7K 
[ ]Pminus_mask_carry.con.body.xml.gz2004-04-08 01:28 1.7K 
[ ]plus_iter_xI.con.proof_tree.xml.gz2004-04-09 18:52 1.7K 
[ ]Pplus_carry_no_neutral.con.proof_tree.xml.gz2004-04-09 18:52 1.7K 
[ ]double_plus_one_zero_discr.con.types.xml.gz2004-04-08 01:28 1.7K 
[ ]Psucc_discr.con.body.xml.gz2004-04-08 01:28 1.7K 
[ ]double_plus_one_eq_one_inversion.con.body.xml.gz2004-04-08 01:28 1.8K 
[ ]double_eq_one_discr.con.body.xml.gz2004-04-08 01:28 1.8K 
[ ]ZL11.con.body.xml.gz2004-04-08 01:28 1.8K 
[ ]double_moins_un_xO_discr.con.body.xml.gz2004-04-08 01:28 1.8K 
[ ]Psucc_pred.con.types.xml.gz2004-04-08 01:28 1.8K 
[ ]Psucc_not_one.con.types.xml.gz2004-04-08 01:28 1.8K 
[ ]Pplus.con.body.xml.gz2004-04-08 01:28 1.8K 
[ ]Pplus_carry.con.body.xml.gz2004-04-08 01:28 1.9K 
[ ]double_eq_zero_inversion.con.types.xml.gz2004-04-08 01:28 1.9K 
[ ]Ppred_succ.con.body.xml.gz2004-04-08 01:28 1.9K 
[ ]Psucc_discr.con.types.xml.gz2004-04-08 01:28 1.9K 
[ ]ZL11.con.types.xml.gz2004-04-08 01:28 1.9K 
[ ]double_eq_one_discr.con.types.xml.gz2004-04-08 01:28 1.9K 
[ ]Pmult_xO_permute_r.con.types.xml.gz2004-04-08 01:28 1.9K 
[ ]Pplus_carry_pred_eq_plus.con.types.xml.gz2004-04-08 01:28 2.0K 
[ ]ZL11.con.proof_tree.xml.gz2004-04-09 18:52 2.1K 
[ ]double_moins_un_xO_discr.con.types.xml.gz2004-04-08 01:28 2.1K 
[ ]Pplus_carry_pred_eq_plus.con.body.xml.gz2004-04-08 01:28 2.2K 
[ ]Pplus_carry_pred_eq_plus.con.proof_tree.xml.gz2004-04-09 18:52 2.2K 
[ ]double_plus_one_eq_one_inversion.con.types.xml.gz2004-04-08 01:28 2.3K 
[ ]Pmult_assoc.con.body.xml.gz2004-04-08 01:28 2.4K 
[ ]Pplus_carry_spec.con.body.xml.gz2004-04-08 01:28 2.5K 
[ ]Pplus_minus.con.types.xml.gz2004-04-08 01:28 2.7K 
[ ]iterate_add.con.proof_tree.xml.gz2004-04-09 18:52 2.8K 
[ ]Pmult_xI_permute_r.con.body.xml.gz2004-04-08 01:28 2.9K 
[ ]Ppred_succ.con.types.xml.gz2004-04-08 01:28 2.9K 
[ ]Pmult_1_inversion_l.con.body.xml.gz2004-04-08 01:28 3.0K 
[ ]Pcompare_antisym.con.body.xml.gz2004-04-08 01:28 3.0K 
[ ]Pplus_minus.con.body.xml.gz2004-04-08 01:28 3.0K 
[ ]Pmult_1_inversion_l.con.proof_tree.xml.gz2004-04-09 18:52 3.1K 
[ ]Pmult_xI_permute_r.con.types.xml.gz2004-04-08 01:28 3.1K 
[ ]Pplus_minus.con.proof_tree.xml.gz2004-04-09 18:52 3.1K 
[ ]Pplus_comm.con.body.xml.gz2004-04-08 01:28 3.2K 
[ ]Pmult_assoc.con.types.xml.gz2004-04-08 01:28 3.2K 
[ ]Pmult_xO_discr.con.body.xml.gz2004-04-08 01:28 3.5K 
[ ]Pcompare_Lt_Gt.con.body.xml.gz2004-04-08 01:28 3.5K 
[ ]Pcompare_Gt_Lt.con.body.xml.gz2004-04-08 01:28 3.5K 
[ ]Pmult_1_inversion_l.con.types.xml.gz2004-04-08 01:28 3.6K 
[ ]Pplus_carry_spec.con.types.xml.gz2004-04-08 01:28 4.4K 
[ ]Pplus_comm.con.types.xml.gz2004-04-08 01:28 4.5K 
[ ]Pmult_xO_discr.con.types.xml.gz2004-04-08 01:28 4.5K 
[ ]Pmult_plus_distr_l.con.types.xml.gz2004-04-08 01:28 4.7K 
[ ]Pmult_plus_distr_l.con.body.xml.gz2004-04-08 01:28 4.7K 
[ ]Pplus_succ_permute_r.con.body.xml.gz2004-04-08 01:28 4.9K 
[ ]INDEX2005-07-05 08:11 5.2K 
[ ]Pcompare_Eq_eq.con.body.xml.gz2004-04-08 01:28 5.4K 
[ ]Pcompare_Gt_Gt.con.body.xml.gz2004-04-08 01:28 5.5K 
[ ]Pcompare_Lt_Lt.con.body.xml.gz2004-04-08 01:28 5.5K 
[ ]Pplus_xO_double_minus_one.con.body.xml.gz2004-04-08 01:28 5.8K 
[ ]Pcompare_antisym.con.types.xml.gz2004-04-08 01:28 6.0K 
[ ]Pmult_reg_r.con.body.xml.gz2004-04-08 01:28 6.9K 
[ ]Pmult_reg_r.con.types.xml.gz2004-04-08 01:28 7.1K 
[ ]Pcompare_Lt_Gt.con.types.xml.gz2004-04-08 01:28 7.3K 
[ ]Pcompare_Gt_Lt.con.types.xml.gz2004-04-08 01:28 7.3K 
[ ]Psucc_inj.con.body.xml.gz2004-04-08 01:28 7.8K 
[ ]Pplus_succ_permute_r.con.types.xml.gz2004-04-08 01:28 7.9K 
[ ]ZL10.con.body.xml.gz2004-04-08 01:28 7.9K 
[ ]Pcompare_Eq_eq.con.types.xml.gz2004-04-08 01:28 7.9K 
[ ]Pplus_xO_double_minus_one.con.proof_tree.xml.gz2004-04-09 18:52 8.4K 
[ ]Pmult_xI_mult_xO_discr.con.body.xml.gz2004-04-08 01:28 8.4K 
[ ]Pplus_xO_double_minus_one.con.types.xml.gz2004-04-08 01:28 8.6K 
[ ]plus_iter_eq_plus.con.body.xml.gz2004-04-08 01:28 8.8K 
[ ]plus_iter_eq_plus.con.types.xml.gz2004-04-08 01:28 9.4K 
[ ]Pcompare_not_Eq.con.body.xml.gz2004-04-08 01:28 9.8K 
[ ]Pcompare_Lt_Lt.con.types.xml.gz2004-04-08 01:28 11K 
[ ]Pcompare_Gt_Gt.con.types.xml.gz2004-04-08 01:28 11K 
[ ]Psucc_inj.con.types.xml.gz2004-04-08 01:28 12K 
[ ]Pcompare_not_Eq.con.types.xml.gz2004-04-08 01:28 12K 
[ ]Pplus_no_neutral.con.body.xml.gz2004-04-08 01:28 12K 
[ ]ZL10.con.types.xml.gz2004-04-08 01:28 12K 
[ ]Pmult_xI_mult_xO_discr.con.types.xml.gz2004-04-08 01:28 13K 
[ ]Pplus_assoc.con.body.xml.gz2004-04-08 01:28 14K 
[ ]Pplus_assoc.con.types.xml.gz2004-04-08 01:28 18K 
[ ]Pplus_no_neutral.con.types.xml.gz2004-04-08 01:28 18K 
[ ]Pplus_reg_r.con.body.xml.gz2004-04-08 01:28 39K 
[ ]Pminus_mask_Gt.con.body.xml.gz2004-04-08 01:28 50K 
[ ]Pplus_reg_r.con.types.xml.gz2004-04-08 01:28 61K 
[ ]Pminus_mask_Gt.con.types.xml.gz2004-04-08 01:28 86K 
Apache/2.4.61 (Debian) Server at mowgli.cs.unibo.it Port 80