Index of /xml/Coq/ZArith/Znumtheory

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[DIR]extended_euclid_algorithm/2005-07-05 08:13 -  
[ ]Zgcd.con.types.xml.gz2004-04-08 01:31 193  
[ ]prime.ind.types.xml.gz2004-04-08 01:31 194  
[ ]Euclid.ind.types.xml.gz2004-04-08 01:31 196  
[ ]Bezout.ind.types.xml.gz2004-04-08 01:31 197  
[ ]Zdivide.ind.types.xml.gz2004-04-08 01:31 197  
[ ]Zis_gcd.ind.types.xml.gz2004-04-08 01:31 199  
[ ]prime_rec.con.types.xml.gz2004-04-08 01:31 203  
[ ]rel_prime.con.types.xml.gz2004-04-08 01:31 203  
[ ]prime_rect.con.types.xml.gz2004-04-08 01:31 204  
[ ]Euclid_rec.con.types.xml.gz2004-04-08 01:31 205  
[ ]Euclid_rect.con.types.xml.gz2004-04-08 01:31 206  
[ ]Zis_gcd_rec.con.types.xml.gz2004-04-08 01:31 207  
[ ]Zis_gcd_rect.con.types.xml.gz2004-04-08 01:31 208  
[ ]euclid.con.xml.gz2004-04-08 01:31 266  
[ ]Zgcd.con.xml.gz2004-04-08 01:31 286  
[ ]rel_prime.con.xml.gz2004-04-08 01:31 310  
[ ]Zdivide_refl.con.xml.gz2004-04-08 01:31 371  
[ ]Zdivide_0.con.xml.gz2004-04-08 01:31 385  
[ ]Zis_gcd_0.con.xml.gz2004-04-08 01:31 393  
[ ]prime_rec.con.body.xml.gz2004-04-08 01:31 412  
[ ]prime_ind.con.body.xml.gz2004-04-08 01:31 419  
[ ]Zone_divide.con.xml.gz2004-04-08 01:31 425  
[ ]Zgcd_is_gcd.con.xml.gz2004-04-08 01:31 431  
[ ]Zdivide_factor_l.con.xml.gz2004-04-08 01:31 437  
[ ]Zdivide_factor_r.con.xml.gz2004-04-08 01:31 440  
[ ]euclid_subproof1.con.xml.gz2004-04-08 01:31 440  
[ ]Euclid_rec.con.body.xml.gz2004-04-08 01:31 441  
[ ]Zgcd_is_pos.con.xml.gz2004-04-08 01:31 442  
[ ]Euclid_ind.con.body.xml.gz2004-04-08 01:31 444  
[ ]rel_prime.con.body.xml.gz2004-04-08 01:31 452  
[ ]Zis_gcd_sym.con.xml.gz2004-04-08 01:31 456  
[ ]Zdivide_opp_l.con.xml.gz2004-04-08 01:31 460  
[ ]Zdivide_opp_r.con.xml.gz2004-04-08 01:31 463  
[ ]Zis_gcd_rec.con.body.xml.gz2004-04-08 01:31 467  
[ ]Zdivide_opp_l_rev.con.xml.gz2004-04-08 01:31 468  
[ ]Zdivide_opp_r_rev.con.xml.gz2004-04-08 01:31 468  
[ ]Zis_gcd_bezout.con.xml.gz2004-04-08 01:31 468  
[ ]Zis_gcd_ind.con.body.xml.gz2004-04-08 01:31 475  
[ ]Zdivide_dec.con.xml.gz2004-04-08 01:31 481  
[ ]rel_prime_bezout.con.body.xml.gz2004-04-08 01:31 481  
[ ]Zdivide_mult_l.con.xml.gz2004-04-08 01:31 483  
[ ]Zdivide_mult_r.con.xml.gz2004-04-08 01:31 484  
[ ]Zis_gcd_opp.con.xml.gz2004-04-08 01:31 488  
[ ]Zdivide_dec_subproof.con.proof_tree.xml.gz2004-04-09 18:52 491  
[ ]Zdivide_dec_subproof0.con.proof_tree.xml.gz2004-04-09 18:52 492  
[ ]Zis_gcd_minus.con.xml.gz2004-04-08 01:31 496  
[ ]bezout_rel_prime.con.xml.gz2004-04-08 01:31 510  
[ ]rel_prime_bezout.con.xml.gz2004-04-08 01:31 510  
[ ]prime_rel_prime.con.xml.gz2004-04-08 01:31 515  
[ ]Zdivide_plus_r.con.xml.gz2004-04-08 01:31 516  
[ ]Zdivide_minus_l.con.xml.gz2004-04-08 01:31 518  
[ ]rel_prime_mult.con.xml.gz2004-04-08 01:31 518  
[ ]Zmult_divide_compat_l.con.xml.gz2004-04-08 01:31 519  
[ ]Zmult_divide_compat_r.con.xml.gz2004-04-08 01:31 521  
[ ]Gauss.con.xml.gz2004-04-08 01:31 527  
[ ]Zdivide_mod.con.xml.gz2004-04-08 01:31 542  
[ ]Zis_gcd_mult.con.xml.gz2004-04-08 01:31 552  
[ ]Zgcd_spec.con.xml.gz2004-04-08 01:31 553  
[ ]Zmod_divide.con.xml.gz2004-04-08 01:31 553  
[ ]Zis_gcd_for_euclid2.con.xml.gz2004-04-08 01:31 554  
[ ]prime_mult.con.xml.gz2004-04-08 01:31 557  
[ ]Zgcd_pos_subproof0.con.xml.gz2004-04-08 01:31 561  
[ ]Zdivide_1.con.xml.gz2004-04-08 01:31 562  
[ ]euclid_subproof0.con.xml.gz2004-04-08 01:31 562  
[ ]Zis_gcd_for_euclid.con.xml.gz2004-04-08 01:31 563  
[ ]Zdivide_antisym.con.xml.gz2004-04-08 01:31 564  
[ ]Zgcd_pos_subproof.con.xml.gz2004-04-08 01:31 564  
[ ]Zmult_one.con.xml.gz2004-04-08 01:31 564  
[ ]euclid_subproof.con.xml.gz2004-04-08 01:31 564  
[ ]euclid_subproof2.con.xml.gz2004-04-08 01:31 566  
[ ]Zdivide_bounds.con.xml.gz2004-04-08 01:31 572  
[ ]Zdivide_ind.con.xml.gz2004-04-08 01:31 572  
[ ]Zdivide.ind.xml.gz2004-04-08 01:31 596  
[ ]Zis_gcd_0.con.body.xml.gz2004-04-08 01:31 598  
[ ]Zdivide_ind.con.types.xml.gz2004-04-08 01:31 613  
[ ]Zis_gcd_rel_prime.con.xml.gz2004-04-08 01:31 615  
[ ]Zis_gcd_rel_prime_subproof1.con.proof_tree.xml.gz2004-04-09 18:52 621  
[ ]Zis_gcd_uniqueness_apart_sign.con.xml.gz2004-04-08 01:31 631  
[ ]Zdivide_1_subproof.con.xml.gz2004-04-08 01:31 635  
[ ]Zis_gcd_0.con.types.xml.gz2004-04-08 01:31 640  
[ ]Zdivide_1_subproof1.con.xml.gz2004-04-08 01:31 646  
[ ]Bezout_ind.con.xml.gz2004-04-08 01:31 664  
[ ]Zgcd_pos.con.xml.gz2004-04-08 01:31 668  
[ ]Zgcd_pos_subproof.con.proof_tree.xml.gz2004-04-09 18:52 668  
[ ]Zgcd_pos_subproof0.con.proof_tree.xml.gz2004-04-09 18:52 669  
[ ]Euclid.ind.xml.gz2004-04-08 01:31 672  
[ ]Zdivide_dec_subproof.con.xml.gz2004-04-08 01:31 674  
[ ]Bezout.ind.xml.gz2004-04-08 01:31 685  
[ ]Zdivide_ind.con.body.xml.gz2004-04-08 01:31 688  
[ ]Zis_gcd_ind.con.xml.gz2004-04-08 01:31 699  
[ ]Zis_gcd_rect.con.xml.gz2004-04-08 01:31 701  
[ ]rel_prime_bezout.con.types.xml.gz2004-04-08 01:31 701  
[ ]Bezout_ind.con.types.xml.gz2004-04-08 01:31 703  
[ ]Zis_gcd_rec.con.xml.gz2004-04-08 01:31 704  
[ ]Zdivide_1_subproof0.con.xml.gz2004-04-08 01:31 706  
[ ]prime_divisors.con.xml.gz2004-04-08 01:31 723  
[ ]Zis_gcd.ind.xml.gz2004-04-08 01:31 730  
[ ]Zdivide_dec_subproof0.con.xml.gz2004-04-08 01:31 738  
[ ]prime_ind.con.xml.gz2004-04-08 01:31 741  
[ ]prime_rec.con.xml.gz2004-04-08 01:31 745  
[ ]prime_rect.con.xml.gz2004-04-08 01:31 746  
[ ]rel_prime_cross_prod.con.xml.gz2004-04-08 01:31 747  
[ ]rel_prime_cross_prod_subproof.con.proof_tree.xml.gz2004-04-09 18:52 747  
[ ]prime.ind.xml.gz2004-04-08 01:31 752  
[ ]rel_prime_cross_prod_subproof.con.xml.gz2004-04-08 01:31 766  
[ ]Bezout_ind.con.body.xml.gz2004-04-08 01:31 786  
[ ]Zdivide_0.con.body.xml.gz2004-04-08 01:31 811  
[ ]Zdivide_bounds_subproof2.con.xml.gz2004-04-08 01:31 816  
[ ]Zdivide_bounds_subproof0.con.xml.gz2004-04-08 01:31 826  
[ ]Euclid_rect.con.xml.gz2004-04-08 01:31 827  
[ ]Zis_gcd_rect.con.body.xml.gz2004-04-08 01:31 827  
[ ]Euclid_rec.con.xml.gz2004-04-08 01:31 832  
[ ]Euclid_ind.con.xml.gz2004-04-08 01:31 835  
[ ]Zdivide_bounds_subproof1.con.xml.gz2004-04-08 01:31 839  
[ ]Zgcd.con.body.xml.gz2004-04-08 01:31 839  
[ ]prime_rect.con.body.xml.gz2004-04-08 01:31 850  
[ ]prime_divisors_subproof3.con.xml.gz2004-04-08 01:31 857  
[ ]euclid_rec.con.xml.gz2004-04-08 01:31 877  
[ ]prime_divisors_subproof0.con.xml.gz2004-04-08 01:31 877  
[ ]Zis_gcd_rel_prime_subproof0.con.xml.gz2004-04-08 01:31 890  
[ ]prime_divisors_subproof.con.xml.gz2004-04-08 01:31 892  
[ ]Zmult_divide_compat_r.con.types.xml.gz2004-04-08 01:31 914  
[ ]Zis_gcd_rel_prime_subproof.con.xml.gz2004-04-08 01:31 928  
[ ]Zdivide_refl.con.body.xml.gz2004-04-08 01:31 931  
[ ]Zone_divide.con.body.xml.gz2004-04-08 01:31 945  
[ ]Zis_gcd_sym.con.types.xml.gz2004-04-08 01:31 954  
[ ]Euclid_rect.con.body.xml.gz2004-04-08 01:31 962  
[ ]Zis_gcd_ind.con.types.xml.gz2004-04-08 01:31 968  
[ ]Zdivide_bounds_subproof.con.xml.gz2004-04-08 01:31 972  
[ ]Zis_gcd_rel_prime_subproof1.con.xml.gz2004-04-08 01:31 1.0K 
[ ]Zmult_divide_compat_r.con.body.xml.gz2004-04-08 01:31 1.0K 
[ ]prime_ind.con.types.xml.gz2004-04-08 01:31 1.0K 
[ ]Zdivide_factor_r.con.body.xml.gz2004-04-08 01:31 1.0K 
[ ]Zis_gcd_sym.con.body.xml.gz2004-04-08 01:31 1.0K 
[ ]rel_prime_bezout.con.proof_tree.xml.gz2004-04-09 18:52 1.1K 
[ ]Euclid_ind.con.types.xml.gz2004-04-08 01:31 1.1K 
[ ]Zdivide_0.con.proof_tree.xml.gz2004-04-09 18:52 1.1K 
[ ]Zis_gcd_minus.con.types.xml.gz2004-04-08 01:31 1.1K 
[ ]Zis_gcd_0.con.proof_tree.xml.gz2004-04-09 18:52 1.1K 
[ ]Zis_gcd_opp.con.types.xml.gz2004-04-08 01:31 1.1K 
[ ]Zdivide_refl.con.proof_tree.xml.gz2004-04-09 18:52 1.1K 
[ ]Zis_gcd_opp.con.body.xml.gz2004-04-08 01:31 1.2K 
[ ]Zone_divide.con.proof_tree.xml.gz2004-04-09 18:52 1.2K 
[ ]Zis_gcd_minus.con.body.xml.gz2004-04-08 01:31 1.2K 
[ ]Zdivide_factor_l.con.proof_tree.xml.gz2004-04-09 18:52 1.2K 
[ ]Zdivide_0.con.types.xml.gz2004-04-08 01:31 1.2K 
[ ]euclid_subproof.con.proof_tree.xml.gz2004-04-09 18:52 1.2K 
[ ]euclid_subproof0.con.proof_tree.xml.gz2004-04-09 18:52 1.2K 
[ ]Zdivide_factor_r.con.proof_tree.xml.gz2004-04-09 18:52 1.2K 
[ ]prime_divisors_subproof5.con.xml.gz2004-04-08 01:31 1.3K 
[ ]prime_divisors_subproof4.con.xml.gz2004-04-08 01:31 1.3K 
[ ]euclid.con.types.xml.gz2004-04-08 01:31 1.3K 
[ ]Zdivide_refl.con.types.xml.gz2004-04-08 01:31 1.3K 
[ ]Zmult_one.con.types.xml.gz2004-04-08 01:31 1.3K 
[ ]Zdivide_opp_l_rev.con.proof_tree.xml.gz2004-04-09 18:52 1.4K 
[ ]Zone_divide.con.types.xml.gz2004-04-08 01:31 1.4K 
[ ]prime_divisors_subproof1.con.xml.gz2004-04-08 01:31 1.4K 
[ ]prime_divisors_subproof2.con.xml.gz2004-04-08 01:31 1.4K 
[ ]Zdivide_opp_r_rev.con.proof_tree.xml.gz2004-04-09 18:52 1.4K 
[ ]Zgcd_is_pos.con.body.xml.gz2004-04-08 01:31 1.4K 
[ ]euclid.con.body.xml.gz2004-04-08 01:31 1.4K 
[ ]Zgcd_is_gcd.con.body.xml.gz2004-04-08 01:31 1.4K 
[ ]Zmult_divide_compat_r.con.proof_tree.xml.gz2004-04-09 18:52 1.4K 
[ ]Zdivide_mod.con.types.xml.gz2004-04-08 01:31 1.4K 
[ ]Zmult_one.con.body.xml.gz2004-04-08 01:31 1.5K 
[ ]bezout_rel_prime.con.types.xml.gz2004-04-08 01:31 1.5K 
[ ]Zgcd_pos_subproof0.con.types.xml.gz2004-04-08 01:31 1.5K 
[ ]Zdivide_mod.con.body.xml.gz2004-04-08 01:31 1.5K 
[ ]Zdivide_factor_r.con.types.xml.gz2004-04-08 01:31 1.5K 
[ ]Zdivide_factor_l.con.body.xml.gz2004-04-08 01:31 1.5K 
[ ]Zgcd_pos_subproof0.con.body.xml.gz2004-04-08 01:31 1.5K 
[ ]prime_mult.con.types.xml.gz2004-04-08 01:31 1.6K 
[ ]Zdivide_opp_l_rev.con.body.xml.gz2004-04-08 01:31 1.6K 
[ ]Zdivide_opp_r_rev.con.body.xml.gz2004-04-08 01:31 1.6K 
[ ]bezout_rel_prime.con.body.xml.gz2004-04-08 01:31 1.6K 
[ ]prime_mult.con.body.xml.gz2004-04-08 01:31 1.7K 
[ ]Zis_gcd_uniqueness_apart_sign.con.body.xml.gz2004-04-08 01:31 1.8K 
[ ]Zdivide_opp_l_rev.con.types.xml.gz2004-04-08 01:31 1.9K 
[ ]Zdivide_opp_r_rev.con.types.xml.gz2004-04-08 01:31 1.9K 
[ ]Zis_gcd_sym.con.proof_tree.xml.gz2004-04-09 18:52 1.9K 
[ ]euclid_subproof1.con.proof_tree.xml.gz2004-04-09 18:52 1.9K 
[ ]euclid_subproof2.con.proof_tree.xml.gz2004-04-09 18:52 1.9K 
[ ]Zgcd_is_pos.con.proof_tree.xml.gz2004-04-09 18:52 1.9K 
[ ]Zgcd_is_gcd.con.proof_tree.xml.gz2004-04-09 18:52 2.0K 
[ ]Zmult_one.con.proof_tree.xml.gz2004-04-09 18:52 2.0K 
[ ]Zdivide_opp_r.con.proof_tree.xml.gz2004-04-09 18:52 2.0K 
[ ]Zis_gcd_uniqueness_apart_sign.con.types.xml.gz2004-04-08 01:31 2.0K 
[ ]Zdivide_opp_l.con.proof_tree.xml.gz2004-04-09 18:52 2.0K 
[ ]Zmod_divide.con.proof_tree.xml.gz2004-04-09 18:52 2.0K 
[ ]Zdivide_mult_r.con.proof_tree.xml.gz2004-04-09 18:52 2.0K 
[ ]Zdivide_mult_l.con.proof_tree.xml.gz2004-04-09 18:52 2.0K 
[ ]Zis_gcd_opp.con.proof_tree.xml.gz2004-04-09 18:52 2.1K 
[ ]Zis_gcd_minus.con.proof_tree.xml.gz2004-04-09 18:52 2.1K 
[ ]Zmult_divide_compat_l.con.proof_tree.xml.gz2004-04-09 18:52 2.1K 
[ ]Zdivide_mod.con.proof_tree.xml.gz2004-04-09 18:52 2.1K 
[ ]euclid.con.proof_tree.xml.gz2004-04-09 18:52 2.3K 
[ ]Gauss.con.proof_tree.xml.gz2004-04-09 18:52 2.3K 
[ ]Zdivide_factor_l.con.types.xml.gz2004-04-08 01:31 2.4K 
[ ]bezout_rel_prime.con.proof_tree.xml.gz2004-04-09 18:52 2.4K 
[ ]euclid_subproof0.con.types.xml.gz2004-04-08 01:31 2.6K 
[ ]Zgcd_is_gcd.con.types.xml.gz2004-04-08 01:31 2.6K 
[ ]euclid_subproof1.con.types.xml.gz2004-04-08 01:31 2.6K 
[ ]Zdivide_bounds_subproof1.con.types.xml.gz2004-04-08 01:31 2.6K 
[ ]Zdivide_1_subproof.con.proof_tree.xml.gz2004-04-09 18:52 2.6K 
[ ]Zgcd_is_pos.con.types.xml.gz2004-04-08 01:31 2.7K 
[ ]euclid_subproof.con.types.xml.gz2004-04-08 01:31 2.7K 
[ ]euclid_subproof2.con.types.xml.gz2004-04-08 01:31 2.7K 
[ ]Zis_gcd_for_euclid.con.proof_tree.xml.gz2004-04-09 18:52 2.8K 
[ ]euclid_subproof0.con.body.xml.gz2004-04-08 01:31 2.8K 
[ ]Zdivide_1_subproof.con.types.xml.gz2004-04-08 01:31 2.9K 
[ ]Zdivide_plus_r.con.proof_tree.xml.gz2004-04-09 18:52 2.9K 
[ ]Zdivide_minus_l.con.proof_tree.xml.gz2004-04-09 18:52 2.9K 
[ ]Zdivide_bounds_subproof.con.proof_tree.xml.gz2004-04-09 18:52 2.9K 
[ ]prime_divisors_subproof3.con.types.xml.gz2004-04-08 01:31 2.9K 
[ ]Zdivide_opp_l.con.body.xml.gz2004-04-08 01:31 3.0K 
[ ]Zdivide_1_subproof1.con.types.xml.gz2004-04-08 01:31 3.0K 
[ ]Zdivide_1_subproof0.con.types.xml.gz2004-04-08 01:31 3.0K 
[ ]euclid_subproof.con.body.xml.gz2004-04-08 01:31 3.0K 
[ ]euclid_subproof2.con.body.xml.gz2004-04-08 01:31 3.0K 
[ ]Zdivide_opp_r.con.body.xml.gz2004-04-08 01:31 3.1K 
[ ]Zdivide_dec_subproof.con.types.xml.gz2004-04-08 01:31 3.1K 
[ ]Zdivide_dec_subproof0.con.types.xml.gz2004-04-08 01:31 3.1K 
[ ]Zdivide_1_subproof0.con.body.xml.gz2004-04-08 01:31 3.1K 
[ ]prime_divisors_subproof.con.types.xml.gz2004-04-08 01:31 3.2K 
[ ]Zdivide_bounds_subproof1.con.body.xml.gz2004-04-08 01:31 3.2K 
[ ]euclid_subproof1.con.body.xml.gz2004-04-08 01:31 3.2K 
[ ]Zdivide_bounds_subproof0.con.proof_tree.xml.gz2004-04-09 18:52 3.2K 
[ ]Zdivide_bounds_subproof1.con.proof_tree.xml.gz2004-04-09 18:52 3.2K 
[ ]Zdivide_bounds_subproof2.con.proof_tree.xml.gz2004-04-09 18:52 3.2K 
[ ]Zmod_divide.con.body.xml.gz2004-04-08 01:31 3.3K 
[ ]prime_divisors_subproof5.con.types.xml.gz2004-04-08 01:31 3.3K 
[ ]prime_divisors_subproof4.con.types.xml.gz2004-04-08 01:31 3.4K 
[ ]Zis_gcd_for_euclid2.con.proof_tree.xml.gz2004-04-09 18:52 3.4K 
[ ]prime_mult.con.proof_tree.xml.gz2004-04-09 18:52 3.4K 
[ ]Zdivide_1_subproof0.con.proof_tree.xml.gz2004-04-09 18:52 3.4K 
[ ]Zdivide_mult_l.con.body.xml.gz2004-04-08 01:31 3.4K 
[ ]Zdivide_mult_r.con.body.xml.gz2004-04-08 01:31 3.4K 
[ ]Zdivide_1_subproof.con.body.xml.gz2004-04-08 01:31 3.4K 
[ ]Zdivide_opp_l.con.types.xml.gz2004-04-08 01:31 3.5K 
[ ]Zis_gcd_uniqueness_apart_sign.con.proof_tree.xml.gz2004-04-09 18:52 3.5K 
[ ]Zmult_divide_compat_l.con.body.xml.gz2004-04-08 01:31 3.5K 
[ ]Zdivide_opp_r.con.types.xml.gz2004-04-08 01:31 3.5K 
[ ]prime_divisors_subproof3.con.body.xml.gz2004-04-08 01:31 3.5K 
[ ]Zis_gcd_for_euclid.con.body.xml.gz2004-04-08 01:31 3.5K 
[ ]Zgcd_pos_subproof.con.types.xml.gz2004-04-08 01:31 3.5K 
[ ]prime_divisors_subproof2.con.types.xml.gz2004-04-08 01:31 3.6K 
[ ]prime_divisors_subproof5.con.body.xml.gz2004-04-08 01:31 3.6K 
[ ]Zdivide_1_subproof1.con.proof_tree.xml.gz2004-04-09 18:52 3.6K 
[ ]prime_divisors_subproof1.con.types.xml.gz2004-04-08 01:31 3.6K 
[ ]prime_divisors_subproof4.con.body.xml.gz2004-04-08 01:31 3.6K 
[ ]Zis_gcd_for_euclid2.con.body.xml.gz2004-04-08 01:31 3.6K 
[ ]Zis_gcd_bezout.con.proof_tree.xml.gz2004-04-09 18:52 3.6K 
[ ]Zdivide_1_subproof1.con.body.xml.gz2004-04-08 01:31 3.7K 
[ ]Zgcd_spec.con.types.xml.gz2004-04-08 01:31 3.7K 
[ ]Zdivide_dec_subproof.con.body.xml.gz2004-04-08 01:31 3.8K 
[ ]prime_divisors_subproof2.con.body.xml.gz2004-04-08 01:31 3.8K 
[ ]prime_divisors_subproof1.con.body.xml.gz2004-04-08 01:31 3.8K 
[ ]prime_divisors_subproof.con.body.xml.gz2004-04-08 01:31 3.8K 
[ ]Zdivide_dec_subproof0.con.body.xml.gz2004-04-08 01:31 3.8K 
[ ]Zmod_divide.con.types.xml.gz2004-04-08 01:31 3.8K 
[ ]Zdivide_bounds_subproof0.con.types.xml.gz2004-04-08 01:31 3.9K 
[ ]Zis_gcd_for_euclid.con.types.xml.gz2004-04-08 01:31 3.9K 
[ ]prime_divisors_subproof0.con.types.xml.gz2004-04-08 01:31 3.9K 
[ ]rel_prime_cross_prod.con.proof_tree.xml.gz2004-04-09 18:52 3.9K 
[ ]Zis_gcd_rel_prime_subproof0.con.types.xml.gz2004-04-08 01:31 3.9K 
[ ]rel_prime_mult.con.proof_tree.xml.gz2004-04-09 18:52 4.0K 
[ ]Zgcd_pos.con.types.xml.gz2004-04-08 01:31 4.0K 
[ ]Zis_gcd_rel_prime_subproof.con.types.xml.gz2004-04-08 01:31 4.0K 
[ ]prime_rel_prime.con.proof_tree.xml.gz2004-04-09 18:52 4.1K 
[ ]Zdivide_mult_l.con.types.xml.gz2004-04-08 01:31 4.1K 
[ ]Zdivide_mult_r.con.types.xml.gz2004-04-08 01:31 4.2K 
[ ]Zdivide_bounds_subproof2.con.types.xml.gz2004-04-08 01:31 4.2K 
[ ]Zis_gcd_rel_prime_subproof.con.proof_tree.xml.gz2004-04-09 18:52 4.2K 
[ ]Zis_gcd_for_euclid2.con.types.xml.gz2004-04-08 01:31 4.2K 
[ ]Zmult_divide_compat_l.con.types.xml.gz2004-04-08 01:31 4.2K 
[ ]Zgcd_pos_subproof.con.body.xml.gz2004-04-08 01:31 4.2K 
[ ]Zdivide_plus_r.con.body.xml.gz2004-04-08 01:31 4.2K 
[ ]Zdivide_dec.con.types.xml.gz2004-04-08 01:31 4.3K 
[ ]Zdivide_1.con.proof_tree.xml.gz2004-04-09 18:52 4.4K 
[ ]Zdivide_minus_l.con.body.xml.gz2004-04-08 01:31 4.4K 
[ ]Zis_gcd_rel_prime_subproof0.con.proof_tree.xml.gz2004-04-09 18:52 4.5K 
[ ]prime_rel_prime.con.types.xml.gz2004-04-08 01:31 4.5K 
[ ]Zis_gcd_rel_prime_subproof0.con.body.xml.gz2004-04-08 01:31 4.6K 
[ ]Zis_gcd_rel_prime_subproof.con.body.xml.gz2004-04-08 01:31 4.7K 
[ ]Zgcd_spec.con.proof_tree.xml.gz2004-04-09 18:52 4.7K 
[ ]Zdivide_plus_r.con.types.xml.gz2004-04-08 01:31 4.9K 
[ ]Zis_gcd_mult.con.proof_tree.xml.gz2004-04-09 18:52 4.9K 
[ ]prime_divisors_subproof0.con.body.xml.gz2004-04-08 01:31 4.9K 
[ ]Zdivide_1.con.body.xml.gz2004-04-08 01:31 4.9K 
[ ]Zdivide_bounds_subproof0.con.body.xml.gz2004-04-08 01:31 5.0K 
[ ]Zdivide_minus_l.con.types.xml.gz2004-04-08 01:31 5.1K 
[ ]INDEX2005-07-05 08:11 5.2K 
[ ]Zdivide_1.con.types.xml.gz2004-04-08 01:31 5.2K 
[ ]prime_rel_prime.con.body.xml.gz2004-04-08 01:31 5.3K 
[ ]Zis_gcd_rel_prime_subproof1.con.types.xml.gz2004-04-08 01:31 5.3K 
[ ]Zdivide_bounds.con.proof_tree.xml.gz2004-04-09 18:52 5.5K 
[ ]Zdivide_bounds_subproof2.con.body.xml.gz2004-04-08 01:31 5.6K 
[ ]Zis_gcd_bezout.con.body.xml.gz2004-04-08 01:31 5.9K 
[ ]Zis_gcd_rel_prime_subproof1.con.body.xml.gz2004-04-08 01:31 6.0K 
[ ]rel_prime_cross_prod_subproof.con.types.xml.gz2004-04-08 01:31 6.3K 
[ ]Zdivide_bounds_subproof.con.types.xml.gz2004-04-08 01:31 6.5K 
[ ]Zis_gcd_bezout.con.types.xml.gz2004-04-08 01:31 6.5K 
[ ]Zgcd_spec.con.body.xml.gz2004-04-08 01:31 6.8K 
[ ]Gauss.con.body.xml.gz2004-04-08 01:31 7.0K 
[ ]rel_prime_cross_prod_subproof.con.body.xml.gz2004-04-08 01:31 7.1K 
[ ]Zdivide_antisym.con.proof_tree.xml.gz2004-04-09 18:52 7.6K 
[ ]Zis_gcd_rel_prime.con.proof_tree.xml.gz2004-04-09 18:52 7.9K 
[ ]Gauss.con.types.xml.gz2004-04-08 01:31 8.2K 
[ ]Zdivide_dec.con.body.xml.gz2004-04-08 01:31 8.2K 
[ ]Zdivide_bounds_subproof.con.body.xml.gz2004-04-08 01:31 8.6K 
[ ]Zdivide_dec.con.proof_tree.xml.gz2004-04-09 18:52 10K 
[ ]Zgcd_pos.con.body.xml.gz2004-04-08 01:31 11K 
[ ]Zis_gcd_mult.con.body.xml.gz2004-04-08 01:31 12K 
[ ]rel_prime_mult.con.body.xml.gz2004-04-08 01:31 12K 
[ ]Zdivide_bounds.con.types.xml.gz2004-04-08 01:31 12K 
[ ]rel_prime_cross_prod.con.types.xml.gz2004-04-08 01:31 13K 
[ ]euclid_rec.con.proof_tree.xml.gz2004-04-09 18:52 13K 
[ ]Zis_gcd_mult.con.types.xml.gz2004-04-08 01:31 14K 
[ ]rel_prime_cross_prod.con.body.xml.gz2004-04-08 01:31 15K 
[ ]Zdivide_bounds.con.body.xml.gz2004-04-08 01:31 16K 
[ ]rel_prime_mult.con.types.xml.gz2004-04-08 01:31 16K 
[ ]prime_divisors_subproof0.con.proof_tree.xml.gz2004-04-09 18:52 16K 
[ ]prime_divisors_subproof.con.proof_tree.xml.gz2004-04-09 18:52 16K 
[ ]Zdivide_antisym.con.types.xml.gz2004-04-08 01:31 18K 
[ ]Zdivide_antisym.con.body.xml.gz2004-04-08 01:31 20K 
[ ]prime_divisors_subproof1.con.proof_tree.xml.gz2004-04-09 18:52 20K 
[ ]prime_divisors_subproof2.con.proof_tree.xml.gz2004-04-09 18:52 20K 
[ ]Zgcd_pos.con.proof_tree.xml.gz2004-04-09 18:52 22K 
[ ]euclid_rec.con.types.xml.gz2004-04-08 01:31 22K 
[ ]Zis_gcd_rel_prime.con.types.xml.gz2004-04-08 01:31 23K 
[ ]euclid_rec.con.body.xml.gz2004-04-08 01:31 23K 
[ ]prime_divisors_subproof3.con.proof_tree.xml.gz2004-04-09 18:52 24K 
[ ]Zis_gcd_rel_prime.con.body.xml.gz2004-04-08 01:31 25K 
[ ]prime_divisors_subproof4.con.proof_tree.xml.gz2004-04-09 18:52 28K 
[ ]prime_divisors_subproof5.con.proof_tree.xml.gz2004-04-09 18:52 28K 
[ ]prime_divisors.con.proof_tree.xml.gz2004-04-09 18:52 28K 
[ ]prime_divisors.con.types.xml.gz2004-04-08 01:31 196K 
[ ]prime_divisors.con.body.xml.gz2004-04-08 01:31 260K 
Apache/2.4.61 (Debian) Server at mowgli.cs.unibo.it Port 80