Index of /xml/Coq/ZArith/BinInt

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]Z.ind.types.xml.gz2004-04-08 01:28 185  
[ ]Zgt.con.types.xml.gz2004-04-08 01:29 188  
[ ]Zlt.con.types.xml.gz2004-04-08 01:29 188  
[ ]Zne.con.types.xml.gz2004-04-08 01:29 188  
[ ]Zge.con.types.xml.gz2004-04-08 01:29 189  
[ ]Zle.con.types.xml.gz2004-04-08 01:29 189  
[ ]Zopp.con.types.xml.gz2004-04-08 01:28 190  
[ ]Zsgn.con.types.xml.gz2004-04-08 01:28 190  
[ ]Zabs.con.types.xml.gz2004-04-08 01:29 191  
[ ]Zmult.con.types.xml.gz2004-04-08 01:28 192  
[ ]Zpred.con.types.xml.gz2004-04-08 01:28 192  
[ ]Zsucc.con.types.xml.gz2004-04-08 01:28 192  
[ ]Z_rec.con.types.xml.gz2004-04-08 01:28 193  
[ ]Zplus.con.types.xml.gz2004-04-08 01:28 193  
[ ]Zminus.con.types.xml.gz2004-04-08 01:28 194  
[ ]Z_of_N.con.types.xml.gz2004-04-08 01:29 195  
[ ]Z_rect.con.types.xml.gz2004-04-08 01:28 195  
[ ]Zpred'.con.types.xml.gz2004-04-08 01:28 195  
[ ]Zsucc'.con.types.xml.gz2004-04-08 01:28 195  
[ ]ZPminus.con.types.xml.gz2004-04-08 01:28 196  
[ ]Zabs_N.con.types.xml.gz2004-04-08 01:29 196  
[ ]Zdouble.con.types.xml.gz2004-04-08 01:28 196  
[ ]Zplus'.con.types.xml.gz2004-04-08 01:28 196  
[ ]Z_of_nat.con.types.xml.gz2004-04-08 01:29 198  
[ ]Zcompare.con.types.xml.gz2004-04-08 01:28 198  
[ ]Zabs_nat.con.types.xml.gz2004-04-08 01:29 199  
[ ]Zdouble_plus_one.con.types.xml.gz2004-04-08 01:28 212  
[ ]Zdouble_minus_one.con.types.xml.gz2004-04-08 01:28 214  
[ ]Zopp.con.xml.gz2004-04-08 01:28 276  
[ ]Zsgn.con.xml.gz2004-04-08 01:28 276  
[ ]Zabs.con.xml.gz2004-04-08 01:29 277  
[ ]Zdouble.con.xml.gz2004-04-08 01:28 279  
[ ]Zpred.con.xml.gz2004-04-08 01:28 279  
[ ]Zsucc.con.xml.gz2004-04-08 01:28 279  
[ ]Zpred'.con.xml.gz2004-04-08 01:28 281  
[ ]Zsucc'.con.xml.gz2004-04-08 01:28 281  
[ ]Zmult.con.xml.gz2004-04-08 01:28 289  
[ ]Zabs_N.con.xml.gz2004-04-08 01:29 290  
[ ]Zminus.con.xml.gz2004-04-08 01:28 290  
[ ]Zplus.con.xml.gz2004-04-08 01:28 290  
[ ]Z_of_N.con.xml.gz2004-04-08 01:29 291  
[ ]Zplus'.con.xml.gz2004-04-08 01:28 292  
[ ]Z_of_nat.con.xml.gz2004-04-08 01:29 297  
[ ]Zabs_nat.con.xml.gz2004-04-08 01:29 297  
[ ]Zgt.con.xml.gz2004-04-08 01:29 297  
[ ]Zlt.con.xml.gz2004-04-08 01:29 297  
[ ]Zdouble_minus_one.con.xml.gz2004-04-08 01:28 299  
[ ]Zdouble_plus_one.con.xml.gz2004-04-08 01:28 299  
[ ]Zge.con.xml.gz2004-04-08 01:29 299  
[ ]Zle.con.xml.gz2004-04-08 01:29 299  
[ ]Zne.con.xml.gz2004-04-08 01:29 299  
[ ]ZPminus.con.xml.gz2004-04-08 01:28 306  
[ ]Zcompare.con.xml.gz2004-04-08 01:28 310  
[ ]Z.ind.xml.gz2004-04-08 01:28 385  
[ ]ZL0.con.body.xml.gz2004-04-08 01:28 387  
[ ]ZL0.con.xml.gz2004-04-08 01:28 390  
[ ]Zminus.con.body.xml.gz2004-04-08 01:28 399  
[ ]Z_rec.con.body.xml.gz2004-04-08 01:28 400  
[ ]Z_ind.con.body.xml.gz2004-04-08 01:28 404  
[ ]Zpred.con.body.xml.gz2004-04-08 01:28 405  
[ ]Zsucc.con.body.xml.gz2004-04-08 01:28 407  
[ ]Zne.con.body.xml.gz2004-04-08 01:29 414  
[ ]Zpred_succ.con.xml.gz2004-04-08 01:28 425  
[ ]Zsucc_pred.con.xml.gz2004-04-08 01:28 425  
[ ]Zminus_diag.con.xml.gz2004-04-08 01:28 427  
[ ]Zplus_0_l.con.xml.gz2004-04-08 01:28 428  
[ ]Zplus_0_r.con.xml.gz2004-04-08 01:28 428  
[ ]Zminus_0_r.con.xml.gz2004-04-08 01:28 429  
[ ]Zmult_0_l.con.xml.gz2004-04-08 01:28 429  
[ ]Zopp_involutive.con.xml.gz2004-04-08 01:28 429  
[ ]Zmult_0_r.con.xml.gz2004-04-08 01:28 430  
[ ]Zopp_neg.con.body.xml.gz2004-04-08 01:28 431  
[ ]Zpred'_succ'.con.xml.gz2004-04-08 01:28 433  
[ ]Zsucc'_discr.con.xml.gz2004-04-08 01:28 437  
[ ]Zmult_0_r_reverse.con.xml.gz2004-04-08 01:28 438  
[ ]Zsucc_discr.con.xml.gz2004-04-08 01:28 439  
[ ]Zplus_0_r_reverse.con.xml.gz2004-04-08 01:28 441  
[ ]Zminus_diag_reverse.con.xml.gz2004-04-08 01:28 442  
[ ]Zminus_0_l_reverse.con.xml.gz2004-04-08 01:28 443  
[ ]Zplus_comm.con.xml.gz2004-04-08 01:28 450  
[ ]Zlt.con.body.xml.gz2004-04-08 01:29 452  
[ ]Zgt.con.body.xml.gz2004-04-08 01:29 453  
[ ]Zplus_opp_l.con.xml.gz2004-04-08 01:28 455  
[ ]Zmult_comm.con.xml.gz2004-04-08 01:28 457  
[ ]Zplus_opp_r.con.xml.gz2004-04-08 01:28 457  
[ ]Zminus_plus.con.xml.gz2004-04-08 01:28 458  
[ ]Zplus_minus.con.xml.gz2004-04-08 01:28 459  
[ ]Zmult_1_l.con.xml.gz2004-04-08 01:28 460  
[ ]Zopp_neg.con.xml.gz2004-04-08 01:28 461  
[ ]Zmult_1_r.con.xml.gz2004-04-08 01:28 463  
[ ]Zge.con.body.xml.gz2004-04-08 01:29 477  
[ ]Zle.con.body.xml.gz2004-04-08 01:29 477  
[ ]Zopp_inj.con.xml.gz2004-04-08 01:28 479  
[ ]Zsucc_inj.con.xml.gz2004-04-08 01:28 480  
[ ]Zmult_opp_opp.con.xml.gz2004-04-08 01:29 487  
[ ]Zplus_succ_r.con.xml.gz2004-04-08 01:28 487  
[ ]Z_eq_mult.con.xml.gz2004-04-08 01:29 488  
[ ]Zminus_eq.con.xml.gz2004-04-08 01:28 488  
[ ]Zmult_opp_comm.con.xml.gz2004-04-08 01:29 489  
[ ]Zeq_minus.con.xml.gz2004-04-08 01:28 490  
[ ]Zopp_eq_mult_neg_1.con.xml.gz2004-04-08 01:29 491  
[ ]Zsucc_eq_compat.con.xml.gz2004-04-08 01:28 492  
[ ]Zplus_succ_l.con.xml.gz2004-04-08 01:28 494  
[ ]Zplus_succ_comm.con.xml.gz2004-04-08 01:28 497  
[ ]Zminus_succ_l.con.xml.gz2004-04-08 01:28 498  
[ ]Zmult_succ_l.con.xml.gz2004-04-08 01:29 498  
[ ]Zopp_mult_distr_r.con.xml.gz2004-04-08 01:29 498  
[ ]Zpos_succ_morphism.con.xml.gz2004-04-08 01:28 498  
[ ]Zopp_mult_distr_l.con.xml.gz2004-04-08 01:28 500  
[ ]Zplus_0_simpl_l.con.xml.gz2004-04-08 01:28 503  
[ ]Zpos_xO.con.body.xml.gz2004-04-08 01:29 503  
[ ]Zmult_succ_r.con.xml.gz2004-04-08 01:29 504  
[ ]Zneg_xO.con.body.xml.gz2004-04-08 01:29 504  
[ ]Zmult_succ_l_reverse.con.xml.gz2004-04-08 01:29 507  
[ ]Zopp_plus_distr.con.xml.gz2004-04-08 01:28 508  
[ ]Zpos_xO.con.xml.gz2004-04-08 01:29 510  
[ ]Zmult_succ_r_reverse.con.xml.gz2004-04-08 01:29 511  
[ ]Zplus_reg_l.con.xml.gz2004-04-08 01:28 511  
[ ]Zmult_assoc.con.xml.gz2004-04-08 01:28 512  
[ ]Zplus_permute.con.xml.gz2004-04-08 01:28 513  
[ ]Zplus_assoc.con.xml.gz2004-04-08 01:28 514  
[ ]Zmult_permute.con.xml.gz2004-04-08 01:28 515  
[ ]Zneg_xO.con.xml.gz2004-04-08 01:29 515  
[ ]Zopp_mult_distr_l_reverse.con.xml.gz2004-04-08 01:29 515  
[ ]Zplus_0_simpl_l_reverse.con.xml.gz2004-04-08 01:28 516  
[ ]Zplus_diag_eq_mult_2.con.xml.gz2004-04-08 01:29 521  
[ ]Zplus_minus_eq.con.xml.gz2004-04-08 01:28 523  
[ ]ZL0.con.types.xml.gz2004-04-08 01:28 527  
[ ]Z_of_N.con.body.xml.gz2004-04-08 01:29 527  
[ ]Zminus_plus_simpl_r.con.xml.gz2004-04-08 01:28 527  
[ ]Zmult_assoc_reverse.con.xml.gz2004-04-08 01:28 527  
[ ]Zplus_assoc_reverse.con.xml.gz2004-04-08 01:28 528  
[ ]Zminus_plus_simpl_l.con.xml.gz2004-04-08 01:28 533  
[ ]Zpos_plus_distr.con.xml.gz2004-04-08 01:29 537  
[ ]Zneg_plus_distr.con.xml.gz2004-04-08 01:29 538  
[ ]Zminus_diag_reverse.con.body.xml.gz2004-04-08 01:28 541  
[ ]Zplus_0_r_reverse.con.body.xml.gz2004-04-08 01:28 541  
[ ]Zsucc_inj_contrapositive.con.xml.gz2004-04-08 01:28 541  
[ ]Zminus_0_l_reverse.con.body.xml.gz2004-04-08 01:28 543  
[ ]Zminus_plus_simpl_l_reverse.con.xml.gz2004-04-08 01:28 543  
[ ]Zopp.con.body.xml.gz2004-04-08 01:28 543  
[ ]Zpos_xI.con.body.xml.gz2004-04-08 01:29 543  
[ ]Zneg_xI.con.body.xml.gz2004-04-08 01:29 545  
[ ]Zabs.con.body.xml.gz2004-04-08 01:29 546  
[ ]Zmult_integral.con.xml.gz2004-04-08 01:28 547  
[ ]Zsgn.con.body.xml.gz2004-04-08 01:28 548  
[ ]Zmult_plus_distr_r.con.xml.gz2004-04-08 01:29 549  
[ ]Zmult_plus_distr_l.con.xml.gz2004-04-08 01:29 556  
[ ]Z_of_nat.con.body.xml.gz2004-04-08 01:29 557  
[ ]Zabs_N.con.body.xml.gz2004-04-08 01:29 557  
[ ]Zmult_minus_distr_l.con.xml.gz2004-04-08 01:29 559  
[ ]Zpos_xI.con.xml.gz2004-04-08 01:29 559  
[ ]Zneg_xI.con.xml.gz2004-04-08 01:29 562  
[ ]Zmult_minus_distr_r.con.xml.gz2004-04-08 01:29 563  
[ ]Zplus_eq_compat.con.xml.gz2004-04-08 01:28 566  
[ ]Zmult_integral_l.con.xml.gz2004-04-08 01:28 567  
[ ]Zplus_opp_expand.con.xml.gz2004-04-08 01:28 569  
[ ]Z_rec.con.xml.gz2004-04-08 01:28 572  
[ ]Z_rect.con.xml.gz2004-04-08 01:28 575  
[ ]Zdouble.con.body.xml.gz2004-04-08 01:28 575  
[ ]Zminus_diag_reverse.con.types.xml.gz2004-04-08 01:28 575  
[ ]Zplus_0_r_reverse.con.types.xml.gz2004-04-08 01:28 577  
[ ]Z_ind.con.xml.gz2004-04-08 01:28 578  
[ ]Zabs_nat.con.body.xml.gz2004-04-08 01:29 579  
[ ]Zminus_0_l_reverse.con.types.xml.gz2004-04-08 01:28 580  
[ ]Zminus_0_r.con.body.xml.gz2004-04-08 01:28 585  
[ ]Zmult_reg_r.con.xml.gz2004-04-08 01:29 593  
[ ]Zmult_reg_l.con.xml.gz2004-04-08 01:29 594  
[ ]Zminus_diag.con.body.xml.gz2004-04-08 01:28 604  
[ ]weak_assoc.con.xml.gz2004-04-08 01:28 604  
[ ]Zmult_1_inversion_l.con.xml.gz2004-04-08 01:28 606  
[ ]Zmult_succ_l_reverse.con.body.xml.gz2004-04-08 01:29 615  
[ ]Zopp_mult_distr_l_reverse.con.body.xml.gz2004-04-08 01:29 615  
[ ]Zmult_succ_r_reverse.con.body.xml.gz2004-04-08 01:29 617  
[ ]Zpred'.con.body.xml.gz2004-04-08 01:28 617  
[ ]Zsucc'.con.body.xml.gz2004-04-08 01:28 618  
[ ]Z_eq_mult.con.types.xml.gz2004-04-08 01:29 620  
[ ]Zdouble_minus_one.con.body.xml.gz2004-04-08 01:28 623  
[ ]Zdouble_plus_one.con.body.xml.gz2004-04-08 01:28 624  
[ ]Zind.con.xml.gz2004-04-08 01:28 627  
[ ]Zplus_opp_l.con.body.xml.gz2004-04-08 01:28 631  
[ ]weak_Zmult_plus_distr_r.con.xml.gz2004-04-08 01:29 632  
[ ]Z_eq_mult.con.body.xml.gz2004-04-08 01:29 635  
[ ]Zsucc_eq_compat.con.types.xml.gz2004-04-08 01:28 635  
[ ]Zplus_assoc_reverse.con.body.xml.gz2004-04-08 01:28 639  
[ ]Zopp_neg.con.types.xml.gz2004-04-08 01:28 643  
[ ]Zminus_plus_simpl_l_reverse.con.body.xml.gz2004-04-08 01:28 649  
[ ]Zminus_0_r.con.types.xml.gz2004-04-08 01:28 657  
[ ]Zsucc_inj_contrapositive.con.body.xml.gz2004-04-08 01:28 657  
[ ]Zsucc_eq_compat.con.body.xml.gz2004-04-08 01:28 665  
[ ]Zeq_minus.con.types.xml.gz2004-04-08 01:28 670  
[ ]ZL0.con.proof_tree.xml.gz2004-04-09 18:52 680  
[ ]Zmult_0_l.con.body.xml.gz2004-04-08 01:28 683  
[ ]Zmult_0_r.con.body.xml.gz2004-04-08 01:28 683  
[ ]Zminus_diag.con.types.xml.gz2004-04-08 01:28 687  
[ ]Zopp_eq_mult_neg_1.con.proof_tree.xml.gz2004-04-09 18:52 688  
[ ]Zplus_opp_l.con.types.xml.gz2004-04-08 01:28 693  
[ ]Zplus_0_l.con.body.xml.gz2004-04-08 01:28 703  
[ ]Zplus_comm.con.proof_tree.xml.gz2004-04-09 18:52 706  
[ ]Zplus_0_r.con.body.xml.gz2004-04-08 01:28 707  
[ ]Zmult_succ_l_reverse.con.types.xml.gz2004-04-08 01:29 719  
[ ]Zopp_mult_distr_l_reverse.con.types.xml.gz2004-04-08 01:29 725  
[ ]Zplus_0_simpl_l.con.types.xml.gz2004-04-08 01:28 725  
[ ]Zmult_succ_r_reverse.con.types.xml.gz2004-04-08 01:29 727  
[ ]Zplus_0_simpl_l.con.body.xml.gz2004-04-08 01:28 729  
[ ]Zpos_succ_morphism.con.body.xml.gz2004-04-08 01:28 737  
[ ]Zminus_eq.con.types.xml.gz2004-04-08 01:28 738  
[ ]Zopp_involutive.con.body.xml.gz2004-04-08 01:28 740  
[ ]Zplus_0_simpl_l_reverse.con.body.xml.gz2004-04-08 01:28 742  
[ ]Zplus_0_simpl_l_reverse.con.types.xml.gz2004-04-08 01:28 748  
[ ]Z_rect.con.body.xml.gz2004-04-08 01:28 753  
[ ]Zmult_1_l.con.body.xml.gz2004-04-08 01:28 757  
[ ]Z_ind.con.types.xml.gz2004-04-08 01:28 758  
[ ]Zopp_neg.con.proof_tree.xml.gz2004-04-09 18:52 764  
[ ]Zeq_minus.con.body.xml.gz2004-04-08 01:28 766  
[ ]Zplus_assoc_reverse.con.types.xml.gz2004-04-08 01:28 766  
[ ]Zplus_eq_compat.con.types.xml.gz2004-04-08 01:28 772  
[ ]Zminus_plus_simpl_l_reverse.con.types.xml.gz2004-04-08 01:28 774  
[ ]Zpos_xO.con.types.xml.gz2004-04-08 01:29 785  
[ ]Zneg_xO.con.types.xml.gz2004-04-08 01:29 790  
[ ]Zmult_0_r_reverse.con.body.xml.gz2004-04-08 01:28 800  
[ ]Zmult_assoc_reverse.con.body.xml.gz2004-04-08 01:28 802  
[ ]Zmult_assoc_reverse.con.types.xml.gz2004-04-08 01:28 835  
[ ]Zmult_minus_distr_r.con.body.xml.gz2004-04-08 01:29 835  
[ ]Zplus_succ_r.con.body.xml.gz2004-04-08 01:28 843  
[ ]Zpos_succ_morphism.con.types.xml.gz2004-04-08 01:28 866  
[ ]Zminus_eq.con.body.xml.gz2004-04-08 01:28 870  
[ ]Zplus_minus.con.body.xml.gz2004-04-08 01:28 885  
[ ]Zneg_xO.con.proof_tree.xml.gz2004-04-09 18:52 896  
[ ]Zsucc_pred.con.body.xml.gz2004-04-08 01:28 902  
[ ]Zmult.con.body.xml.gz2004-04-08 01:28 915  
[ ]Zopp_mult_distr_r.con.types.xml.gz2004-04-08 01:29 922  
[ ]Zopp_mult_distr_r.con.body.xml.gz2004-04-08 01:29 927  
[ ]Zplus_eq_compat.con.body.xml.gz2004-04-08 01:28 936  
[ ]Zpos_xI.con.types.xml.gz2004-04-08 01:29 938  
[ ]Zmult_opp_comm.con.types.xml.gz2004-04-08 01:29 941  
[ ]Zminus_diag.con.proof_tree.xml.gz2004-04-09 18:52 949  
[ ]Zneg_xI.con.types.xml.gz2004-04-08 01:29 950  
[ ]Zpred_succ.con.body.xml.gz2004-04-08 01:28 954  
[ ]Zplus_minus.con.types.xml.gz2004-04-08 01:28 955  
[ ]Zmult_0_l.con.types.xml.gz2004-04-08 01:28 956  
[ ]Zmult_0_r.con.types.xml.gz2004-04-08 01:28 960  
[ ]Zmult_permute.con.body.xml.gz2004-04-08 01:28 970  
[ ]Zmult_permute.con.types.xml.gz2004-04-08 01:28 1.0K 
[ ]Zmult_opp_comm.con.body.xml.gz2004-04-08 01:29 1.0K 
[ ]Zsucc_pred.con.types.xml.gz2004-04-08 01:28 1.0K 
[ ]Zplus_0_l.con.types.xml.gz2004-04-08 01:28 1.0K 
[ ]Z_eq_mult.con.proof_tree.xml.gz2004-04-09 18:52 1.0K 
[ ]Zplus_0_r.con.types.xml.gz2004-04-08 01:28 1.0K 
[ ]Zplus'.con.body.xml.gz2004-04-08 01:28 1.0K 
[ ]Zplus_0_r_reverse.con.proof_tree.xml.gz2004-04-09 18:52 1.0K 
[ ]Zminus_diag_reverse.con.proof_tree.xml.gz2004-04-09 18:52 1.0K 
[ ]Zsucc_eq_compat.con.proof_tree.xml.gz2004-04-09 18:52 1.0K 
[ ]Zplus_succ_r.con.types.xml.gz2004-04-08 01:28 1.0K 
[ ]Zminus_0_l_reverse.con.proof_tree.xml.gz2004-04-09 18:52 1.0K 
[ ]Zmult_assoc_reverse.con.proof_tree.xml.gz2004-04-09 18:52 1.0K 
[ ]Zcompare.con.body.xml.gz2004-04-08 01:28 1.0K 
[ ]Zpos_xO.con.proof_tree.xml.gz2004-04-09 18:52 1.0K 
[ ]Zsucc_inj_contrapositive.con.types.xml.gz2004-04-08 01:28 1.0K 
[ ]Zplus_opp_l.con.proof_tree.xml.gz2004-04-09 18:52 1.0K 
[ ]Zmult_opp_comm.con.proof_tree.xml.gz2004-04-09 18:52 1.0K 
[ ]Zpred_succ.con.types.xml.gz2004-04-08 01:28 1.1K 
[ ]Zmult_minus_distr_r.con.types.xml.gz2004-04-08 01:29 1.1K 
[ ]Zmult_0_r_reverse.con.types.xml.gz2004-04-08 01:28 1.1K 
[ ]Zmult_0_l.con.proof_tree.xml.gz2004-04-09 18:52 1.1K 
[ ]Zmult_succ_l.con.body.xml.gz2004-04-08 01:29 1.1K 
[ ]Zmult_reg_r.con.types.xml.gz2004-04-08 01:29 1.1K 
[ ]Zopp_involutive.con.types.xml.gz2004-04-08 01:28 1.1K 
[ ]Zmult_0_r.con.proof_tree.xml.gz2004-04-09 18:52 1.1K 
[ ]Zminus_plus.con.types.xml.gz2004-04-08 01:28 1.1K 
[ ]Zmult_0_r_reverse.con.proof_tree.xml.gz2004-04-09 18:52 1.1K 
[ ]Zmult_1_r.con.body.xml.gz2004-04-08 01:28 1.1K 
[ ]Zminus_0_r.con.proof_tree.xml.gz2004-04-09 18:52 1.1K 
[ ]Zminus_plus.con.body.xml.gz2004-04-08 01:28 1.1K 
[ ]Zplus_diag_eq_mult_2.con.body.xml.gz2004-04-08 01:29 1.1K 
[ ]Zmult_1_l.con.types.xml.gz2004-04-08 01:28 1.1K 
[ ]Zpos_xI.con.proof_tree.xml.gz2004-04-09 18:52 1.1K 
[ ]Zplus_0_l.con.proof_tree.xml.gz2004-04-09 18:52 1.1K 
[ ]Zplus_permute.con.types.xml.gz2004-04-08 01:28 1.1K 
[ ]Zplus_succ_comm.con.body.xml.gz2004-04-08 01:28 1.1K 
[ ]Zneg_xI.con.proof_tree.xml.gz2004-04-09 18:52 1.1K 
[ ]Zplus_0_r.con.proof_tree.xml.gz2004-04-09 18:52 1.1K 
[ ]Zplus_permute.con.proof_tree.xml.gz2004-04-09 18:52 1.2K 
[ ]Zmult_succ_l.con.types.xml.gz2004-04-08 01:29 1.2K 
[ ]Zopp_involutive.con.proof_tree.xml.gz2004-04-09 18:52 1.2K 
[ ]Zplus_succ_comm.con.types.xml.gz2004-04-08 01:28 1.2K 
[ ]Zmult_reg_r.con.body.xml.gz2004-04-08 01:29 1.2K 
[ ]Zminus_succ_l.con.body.xml.gz2004-04-08 01:28 1.2K 
[ ]Zplus_succ_r.con.proof_tree.xml.gz2004-04-09 18:52 1.2K 
[ ]Zeq_minus.con.proof_tree.xml.gz2004-04-09 18:52 1.2K 
[ ]Zmult_1_l.con.proof_tree.xml.gz2004-04-09 18:52 1.2K 
[ ]Zplus_diag_eq_mult_2.con.types.xml.gz2004-04-08 01:29 1.2K 
[ ]Zplus_eq_compat.con.proof_tree.xml.gz2004-04-09 18:52 1.2K 
[ ]Zind.con.body.xml.gz2004-04-08 01:28 1.2K 
[ ]Zmult_minus_distr_l.con.types.xml.gz2004-04-08 01:29 1.2K 
[ ]Zplus_0_simpl_l.con.proof_tree.xml.gz2004-04-09 18:52 1.2K 
[ ]Zplus_0_simpl_l_reverse.con.proof_tree.xml.gz2004-04-09 18:52 1.2K 
[ ]Zminus_eq.con.proof_tree.xml.gz2004-04-09 18:52 1.2K 
[ ]Zmult_succ_l.con.proof_tree.xml.gz2004-04-09 18:52 1.2K 
[ ]ZPminus.con.body.xml.gz2004-04-08 01:28 1.3K 
[ ]Zopp_mult_distr_l_reverse.con.proof_tree.xml.gz2004-04-09 18:52 1.3K 
[ ]Zplus_permute.con.body.xml.gz2004-04-08 01:28 1.3K 
[ ]Zsucc_pred.con.proof_tree.xml.gz2004-04-09 18:52 1.3K 
[ ]Zmult_succ_l_reverse.con.proof_tree.xml.gz2004-04-09 18:52 1.3K 
[ ]Zmult_succ_r_reverse.con.proof_tree.xml.gz2004-04-09 18:52 1.3K 
[ ]Zmult_minus_distr_l.con.body.xml.gz2004-04-08 01:29 1.3K 
[ ]Zplus.con.body.xml.gz2004-04-08 01:28 1.3K 
[ ]Zminus_succ_l.con.types.xml.gz2004-04-08 01:28 1.3K 
[ ]Zopp_mult_distr_r.con.proof_tree.xml.gz2004-04-09 18:52 1.3K 
[ ]Zpos_succ_morphism.con.proof_tree.xml.gz2004-04-09 18:52 1.3K 
[ ]Zmult_plus_distr_l.con.proof_tree.xml.gz2004-04-09 18:52 1.3K 
[ ]Zplus_assoc_reverse.con.proof_tree.xml.gz2004-04-09 18:52 1.3K 
[ ]Zpred_succ.con.proof_tree.xml.gz2004-04-09 18:52 1.3K 
[ ]Zmult_succ_r.con.proof_tree.xml.gz2004-04-09 18:52 1.3K 
[ ]Zminus_plus_simpl_l_reverse.con.proof_tree.xml.gz2004-04-09 18:52 1.3K 
[ ]Zminus_plus.con.proof_tree.xml.gz2004-04-09 18:52 1.3K 
[ ]Zplus_succ_l.con.proof_tree.xml.gz2004-04-09 18:52 1.3K 
[ ]Zplus_opp_r.con.body.xml.gz2004-04-08 01:28 1.4K 
[ ]Zmult_succ_r.con.types.xml.gz2004-04-08 01:29 1.4K 
[ ]Zmult_succ_r.con.body.xml.gz2004-04-08 01:29 1.4K 
[ ]Zmult_1_r.con.types.xml.gz2004-04-08 01:28 1.4K 
[ ]Zmult_permute.con.proof_tree.xml.gz2004-04-09 18:52 1.4K 
[ ]Zsucc_discr.con.body.xml.gz2004-04-08 01:28 1.4K 
[ ]Zplus_succ_l.con.types.xml.gz2004-04-08 01:28 1.4K 
[ ]Zplus_succ_l.con.body.xml.gz2004-04-08 01:28 1.4K 
[ ]Zplus_minus_eq.con.types.xml.gz2004-04-08 01:28 1.4K 
[ ]Zplus_opp_expand.con.body.xml.gz2004-04-08 01:28 1.4K 
[ ]Zmult_plus_distr_l.con.types.xml.gz2004-04-08 01:29 1.5K 
[ ]Zplus_opp_expand.con.proof_tree.xml.gz2004-04-09 18:52 1.5K 
[ ]Zind.con.types.xml.gz2004-04-08 01:28 1.6K 
[ ]Zmult_minus_distr_l.con.proof_tree.xml.gz2004-04-09 18:52 1.6K 
[ ]Zplus_opp_expand.con.types.xml.gz2004-04-08 01:28 1.6K 
[ ]Zsucc_discr.con.types.xml.gz2004-04-08 01:28 1.6K 
[ ]Zopp_eq_mult_neg_1.con.body.xml.gz2004-04-08 01:29 1.6K 
[ ]Zmult_1_r.con.proof_tree.xml.gz2004-04-09 18:52 1.6K 
[ ]Zminus_plus_simpl_l.con.proof_tree.xml.gz2004-04-09 18:52 1.6K 
[ ]Zplus_diag_eq_mult_2.con.proof_tree.xml.gz2004-04-09 18:52 1.6K 
[ ]Zmult_plus_distr_l.con.body.xml.gz2004-04-08 01:29 1.6K 
[ ]Zmult_minus_distr_r.con.proof_tree.xml.gz2004-04-09 18:52 1.7K 
[ ]Zplus_minus.con.proof_tree.xml.gz2004-04-09 18:52 1.7K 
[ ]Zminus_succ_l.con.proof_tree.xml.gz2004-04-09 18:52 1.7K 
[ ]Zsucc_inj.con.proof_tree.xml.gz2004-04-09 18:52 1.7K 
[ ]Zplus_succ_comm.con.proof_tree.xml.gz2004-04-09 18:52 1.7K 
[ ]Zminus_plus_simpl_r.con.proof_tree.xml.gz2004-04-09 18:52 1.7K 
[ ]Zplus_minus_eq.con.body.xml.gz2004-04-08 01:28 1.8K 
[ ]Zplus_minus_eq.con.proof_tree.xml.gz2004-04-09 18:52 1.8K 
[ ]Zopp_eq_mult_neg_1.con.types.xml.gz2004-04-08 01:29 1.8K 
[ ]Zmult_reg_r.con.proof_tree.xml.gz2004-04-09 18:52 1.8K 
[ ]Zmult_reg_l.con.types.xml.gz2004-04-08 01:29 1.9K 
[ ]Zmult_reg_l.con.body.xml.gz2004-04-08 01:29 1.9K 
[ ]Zplus_opp_r.con.types.xml.gz2004-04-08 01:28 1.9K 
[ ]Zplus_opp_r.con.proof_tree.xml.gz2004-04-09 18:52 1.9K 
[ ]Zmult_opp_opp.con.body.xml.gz2004-04-08 01:29 1.9K 
[ ]Zsucc_inj.con.types.xml.gz2004-04-08 01:28 2.0K 
[ ]Zpred'_succ'.con.body.xml.gz2004-04-08 01:28 2.0K 
[ ]Zminus_plus_simpl_r.con.types.xml.gz2004-04-08 01:28 2.0K 
[ ]Zminus_plus_simpl_l.con.types.xml.gz2004-04-08 01:28 2.0K 
[ ]Zopp_mult_distr_l.con.body.xml.gz2004-04-08 01:28 2.1K 
[ ]Zmult_reg_l.con.proof_tree.xml.gz2004-04-09 18:52 2.1K 
[ ]Zplus_reg_l.con.types.xml.gz2004-04-08 01:28 2.1K 
[ ]Zsucc_inj_contrapositive.con.proof_tree.xml.gz2004-04-09 18:52 2.1K 
[ ]Zpos_plus_distr.con.body.xml.gz2004-04-08 01:29 2.2K 
[ ]Zneg_plus_distr.con.body.xml.gz2004-04-08 01:29 2.2K 
[ ]Zsucc_inj.con.body.xml.gz2004-04-08 01:28 2.2K 
[ ]Zminus_plus_simpl_l.con.body.xml.gz2004-04-08 01:28 2.2K 
[ ]Zminus_plus_simpl_r.con.body.xml.gz2004-04-08 01:28 2.3K 
[ ]Zplus_reg_l.con.proof_tree.xml.gz2004-04-09 18:52 2.3K 
[ ]Zplus_reg_l.con.body.xml.gz2004-04-08 01:28 2.3K 
[ ]Zmult_comm.con.body.xml.gz2004-04-08 01:28 2.5K 
[ ]Zsucc_discr.con.proof_tree.xml.gz2004-04-09 18:52 2.5K 
[ ]Zmult_opp_opp.con.proof_tree.xml.gz2004-04-09 18:52 2.6K 
[ ]Zopp_mult_distr_l.con.proof_tree.xml.gz2004-04-09 18:52 2.6K 
[ ]Zpos_plus_distr.con.proof_tree.xml.gz2004-04-09 18:52 2.6K 
[ ]Zneg_plus_distr.con.proof_tree.xml.gz2004-04-09 18:52 2.6K 
[ ]Zind.con.proof_tree.xml.gz2004-04-09 18:52 2.7K 
[ ]Zmult_comm.con.proof_tree.xml.gz2004-04-09 18:52 3.0K 
[ ]Zmult_plus_distr_r.con.body.xml.gz2004-04-08 01:29 3.0K 
[ ]Zmult_integral_l.con.proof_tree.xml.gz2004-04-09 18:52 3.1K 
[ ]Zopp_plus_distr.con.body.xml.gz2004-04-08 01:28 3.1K 
[ ]Zmult_plus_distr_r.con.types.xml.gz2004-04-08 01:29 3.2K 
[ ]Zsucc'_discr.con.proof_tree.xml.gz2004-04-09 18:52 3.3K 
[ ]Zpred'_succ'.con.types.xml.gz2004-04-08 01:28 3.7K 
[ ]Zmult_comm.con.types.xml.gz2004-04-08 01:28 3.7K 
[ ]Zpred'_succ'.con.proof_tree.xml.gz2004-04-09 18:52 3.8K 
[ ]Zmult_opp_opp.con.types.xml.gz2004-04-08 01:29 3.9K 
[ ]Zmult_plus_distr_r.con.proof_tree.xml.gz2004-04-09 18:52 3.9K 
[ ]Zmult_integral_l.con.body.xml.gz2004-04-08 01:28 3.9K 
[ ]Zopp_mult_distr_l.con.types.xml.gz2004-04-08 01:29 4.0K 
[ ]Zmult_integral_l.con.types.xml.gz2004-04-08 01:28 4.3K 
[ ]Zmult_integral.con.body.xml.gz2004-04-08 01:28 4.3K 
[ ]Zplus_comm.con.body.xml.gz2004-04-08 01:28 4.3K 
[ ]Zpos_plus_distr.con.types.xml.gz2004-04-08 01:29 4.4K 
[ ]Zneg_plus_distr.con.types.xml.gz2004-04-08 01:29 4.4K 
[ ]Zsucc'_discr.con.body.xml.gz2004-04-08 01:28 4.5K 
[ ]Zmult_integral.con.proof_tree.xml.gz2004-04-09 18:52 4.6K 
[ ]Zopp_inj.con.body.xml.gz2004-04-08 01:28 4.9K 
[ ]Zsucc'_discr.con.types.xml.gz2004-04-08 01:28 4.9K 
[ ]Zmult_1_inversion_l.con.proof_tree.xml.gz2004-04-09 18:52 5.4K 
[ ]INDEX2005-07-05 08:11 5.7K 
[ ]Zopp_inj.con.proof_tree.xml.gz2004-04-09 18:52 6.5K 
[ ]Zopp_plus_distr.con.proof_tree.xml.gz2004-04-09 18:52 6.6K 
[ ]Zmult_assoc.con.body.xml.gz2004-04-08 01:28 7.1K 
[ ]Zopp_plus_distr.con.types.xml.gz2004-04-08 01:28 7.2K 
[ ]Zmult_integral.con.types.xml.gz2004-04-08 01:28 7.2K 
[ ]Zplus_comm.con.types.xml.gz2004-04-08 01:28 7.2K 
[ ]Zopp_inj.con.types.xml.gz2004-04-08 01:28 7.7K 
[ ]Zmult_1_inversion_l.con.body.xml.gz2004-04-08 01:28 8.2K 
[ ]Zmult_assoc.con.proof_tree.xml.gz2004-04-09 18:52 9.5K 
[ ]Zmult_1_inversion_l.con.types.xml.gz2004-04-08 01:28 10K 
[ ]Zmult_assoc.con.types.xml.gz2004-04-08 01:28 14K 
[ ]Zplus_assoc.con.proof_tree.xml.gz2004-04-09 18:52 21K 
[ ]weak_Zmult_plus_distr_r.con.body.xml.gz2004-04-08 01:29 25K 
[ ]Zplus_assoc.con.body.xml.gz2004-04-08 01:28 27K 
[ ]Zplus_assoc.con.types.xml.gz2004-04-08 01:28 31K 
[ ]weak_Zmult_plus_distr_r.con.proof_tree.xml.gz2004-04-09 18:52 31K 
[ ]weak_Zmult_plus_distr_r.con.types.xml.gz2004-04-08 01:29 40K 
[ ]weak_assoc.con.proof_tree.xml.gz2004-04-09 18:52 65K 
[ ]weak_assoc.con.body.xml.gz2004-04-08 01:28 75K 
[ ]weak_assoc.con.types.xml.gz2004-04-08 01:28 82K 
Apache/2.4.61 (Debian) Server at mowgli.cs.unibo.it Port 80