Index of /xml/Rocq/ARITH/ZChinese/Zgcd

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]P.con.types.xml.gz2004-04-08 14:38 191  
[ ]Q.con.types.xml.gz2004-04-08 14:38 191  
[ ]gcdZ.con.types.xml.gz2004-04-08 14:38 196  
[ ]gcdZ_i.con.types.xml.gz2004-04-08 14:38 201  
[ ]is_gcdZ.ind.types.xml.gz2004-04-08 14:38 202  
[ ]congruentZ.con.types.xml.gz2004-04-08 14:38 206  
[ ]have_gcdZ.con.types.xml.gz2004-04-08 14:38 206  
[ ]gcdZ_exists.con.types.xml.gz2004-04-08 14:38 210  
[ ]Bezout_exists.con.types.xml.gz2004-04-08 14:38 214  
[ ]verify_BezoutZ.ind.types.xml.gz2004-04-08 14:38 216  
[ ]verify_BezoutZ_rec.con.types.xml.gz2004-04-08 14:38 223  
[ ]verify_BezoutZ_rect.con.types.xml.gz2004-04-08 14:38 225  
[ ]P.con.xml.gz2004-04-08 14:38 279  
[ ]Q.con.xml.gz2004-04-08 14:38 279  
[ ]gcdZ.con.xml.gz2004-04-08 14:38 284  
[ ]have_gcdZ.con.xml.gz2004-04-08 14:38 306  
[ ]congruentZ.con.xml.gz2004-04-08 14:38 317  
[ ]gcdZ_exists.con.body.xml.gz2004-04-08 14:38 321  
[ ]Bezout_exists.con.body.xml.gz2004-04-08 14:38 327  
[ ]Bezout_exists.con.xml.gz2004-04-08 14:38 406  
[ ]gcdZ_exists.con.xml.gz2004-04-08 14:38 410  
[ ]Q.con.body.xml.gz2004-04-08 14:38 425  
[ ]P.con.body.xml.gz2004-04-08 14:38 427  
[ ]gcdZ_correct.con.xml.gz2004-04-08 14:38 446  
[ ]gcd_OZ_absZ_subproof0.con.xml.gz2004-04-08 14:38 449  
[ ]gcdZ_i.con.body.xml.gz2004-04-08 14:38 459  
[ ]gcdZ.con.body.xml.gz2004-04-08 14:38 473  
[ ]have_gcdZ.con.body.xml.gz2004-04-08 14:38 488  
[ ]gcdZ_i.con.xml.gz2004-04-08 14:38 494  
[ ]positive_is_gcdZ.con.xml.gz2004-04-08 14:38 496  
[ ]gcdZ_correct.con.body.xml.gz2004-04-08 14:38 502  
[ ]acc_P.con.xml.gz2004-04-08 14:38 506  
[ ]acc_Q.con.xml.gz2004-04-08 14:38 508  
[ ]divide_selfZ.con.xml.gz2004-04-08 14:38 508  
[ ]gcd_OZ_absZ_subproof1.con.xml.gz2004-04-08 14:38 508  
[ ]gcdZ_is_gcdZ.con.xml.gz2004-04-08 14:38 525  
[ ]unicity_is_gcdZ.con.xml.gz2004-04-08 14:38 537  
[ ]gcd_OZ_absZ.con.xml.gz2004-04-08 14:38 541  
[ ]gcd_OZ_absZ_subproof2.con.xml.gz2004-04-08 14:38 542  
[ ]verify_BezoutZ_rec.con.body.xml.gz2004-04-08 14:38 544  
[ ]verify_BezoutZ_ind.con.body.xml.gz2004-04-08 14:38 550  
[ ]divide_selfZ_subproof.con.xml.gz2004-04-08 14:38 557  
[ ]gcd_OZ_absZ_subproof.con.xml.gz2004-04-08 14:38 587  
[ ]gcdZ_is_gcdZ.con.body.xml.gz2004-04-08 14:38 588  
[ ]congruentZ.con.body.xml.gz2004-04-08 14:38 593  
[ ]gcdZ_is_gcd.con.xml.gz2004-04-08 14:38 602  
[ ]unicity_is_gcdZ_subproof.con.xml.gz2004-04-08 14:38 660  
[ ]gcdZ_correct.con.types.xml.gz2004-04-08 14:38 662  
[ ]gcdZ_is_gcdZ.con.types.xml.gz2004-04-08 14:38 671  
[ ]verify_BezoutZ.ind.xml.gz2004-04-08 14:38 701  
[ ]acc_P.con.types.xml.gz2004-04-08 14:38 706  
[ ]chinese_remaindering_theorem.con.xml.gz2004-04-08 14:38 749  
[ ]gcd_modZ.con.xml.gz2004-04-08 14:38 766  
[ ]gcd_unicity_apart_sign.con.xml.gz2004-04-08 14:38 774  
[ ]chinese_remaindering_theorem_subproof.con.xml.gz2004-04-08 14:38 856  
[ ]chinese_remaindering_theorem_subproof0.con.xml.gz2004-04-08 14:38 856  
[ ]verify_BezoutZ_rect.con.xml.gz2004-04-08 14:38 863  
[ ]verify_BezoutZ_ind.con.xml.gz2004-04-08 14:38 867  
[ ]verify_BezoutZ_rec.con.xml.gz2004-04-08 14:38 867  
[ ]acc_P_subproof.con.xml.gz2004-04-08 14:38 878  
[ ]acc_P_subproof0.con.xml.gz2004-04-08 14:38 880  
[ ]gcd_modZ.con.body.xml.gz2004-04-08 14:38 941  
[ ]is_gcdZ.ind.xml.gz2004-04-08 14:38 956  
[ ]gcd_modZ.con.types.xml.gz2004-04-08 14:38 1.0K 
[ ]verify_BezoutZ_rect.con.body.xml.gz2004-04-08 14:38 1.0K 
[ ]positive_is_gcdZ.con.types.xml.gz2004-04-08 14:38 1.1K 
[ ]is_gcdZ_ind.con.xml.gz2004-04-08 14:38 1.1K 
[ ]verify_BezoutZ_ind.con.types.xml.gz2004-04-08 14:38 1.1K 
[ ]positive_is_gcdZ.con.body.xml.gz2004-04-08 14:38 1.1K 
[ ]gcd_unicity_apart_sign_subproof.con.xml.gz2004-04-08 14:38 1.2K 
[ ]gcd_unicity_apart_sign_subproof0.con.xml.gz2004-04-08 14:38 1.3K 
[ ]gcdZ_is_gcd_subproof.con.xml.gz2004-04-08 14:38 1.5K 
[ ]divide_selfZ_subproof.con.body.xml.gz2004-04-08 14:38 1.7K 
[ ]gcd_OZ_absZ_subproof.con.body.xml.gz2004-04-08 14:38 1.7K 
[ ]divide_selfZ_subproof.con.types.xml.gz2004-04-08 14:38 1.8K 
[ ]gcd_OZ_absZ_subproof.con.types.xml.gz2004-04-08 14:38 1.8K 
[ ]is_gcdZ_ind.con.types.xml.gz2004-04-08 14:38 2.0K 
[ ]is_gcdZ_ind.con.body.xml.gz2004-04-08 14:38 2.1K 
[ ]gcd_OZ_absZ_subproof2.con.body.xml.gz2004-04-08 14:38 2.1K 
[ ]gcd_OZ_absZ_subproof2.con.types.xml.gz2004-04-08 14:38 2.2K 
[ ]INDEX2005-07-05 08:13 2.3K 
[ ]gcd_OZ_absZ_subproof1.con.types.xml.gz2004-04-08 14:38 2.5K 
[ ]gcd_OZ_absZ_subproof0.con.types.xml.gz2004-04-08 14:38 2.5K 
[ ]gcd_OZ_absZ_subproof1.con.body.xml.gz2004-04-08 14:38 2.6K 
[ ]divide_selfZ.con.body.xml.gz2004-04-08 14:38 2.7K 
[ ]unicity_is_gcdZ_subproof.con.types.xml.gz2004-04-08 14:38 2.8K 
[ ]gcd_OZ_absZ_subproof0.con.body.xml.gz2004-04-08 14:38 3.0K 
[ ]divide_selfZ.con.types.xml.gz2004-04-08 14:38 3.0K 
[ ]gcd_unicity_apart_sign_subproof.con.types.xml.gz2004-04-08 14:38 3.0K 
[ ]unicity_is_gcdZ_subproof.con.body.xml.gz2004-04-08 14:38 3.1K 
[ ]acc_P_subproof0.con.types.xml.gz2004-04-08 14:38 3.2K 
[ ]gcd_unicity_apart_sign_subproof0.con.types.xml.gz2004-04-08 14:38 3.4K 
[ ]gcd_unicity_apart_sign.con.types.xml.gz2004-04-08 14:38 3.5K 
[ ]gcd_unicity_apart_sign_subproof.con.body.xml.gz2004-04-08 14:38 3.8K 
[ ]unicity_is_gcdZ.con.types.xml.gz2004-04-08 14:38 4.0K 
[ ]acc_P_subproof0.con.body.xml.gz2004-04-08 14:38 4.1K 
[ ]gcd_unicity_apart_sign_subproof0.con.body.xml.gz2004-04-08 14:38 4.1K 
[ ]acc_P_subproof.con.types.xml.gz2004-04-08 14:38 4.5K 
[ ]unicity_is_gcdZ.con.body.xml.gz2004-04-08 14:38 4.6K 
[ ]acc_P.con.body.xml.gz2004-04-08 14:38 4.8K 
[ ]gcd_unicity_apart_sign.con.body.xml.gz2004-04-08 14:38 4.9K 
[ ]gcdZ_is_gcd_subproof.con.types.xml.gz2004-04-08 14:38 6.2K 
[ ]acc_P_subproof.con.body.xml.gz2004-04-08 14:38 6.2K 
[ ]gcdZ_is_gcd.con.types.xml.gz2004-04-08 14:38 6.6K 
[ ]gcdZ_is_gcd.con.body.xml.gz2004-04-08 14:38 6.6K 
[ ]chinese_remaindering_theorem_subproof0.con.types.xml.gz2004-04-08 14:38 7.2K 
[ ]chinese_remaindering_theorem_subproof.con.types.xml.gz2004-04-08 14:38 7.3K 
[ ]gcdZ_is_gcd_subproof.con.body.xml.gz2004-04-08 14:38 7.4K 
[ ]chinese_remaindering_theorem_subproof0.con.body.xml.gz2004-04-08 14:38 8.0K 
[ ]chinese_remaindering_theorem_subproof.con.body.xml.gz2004-04-08 14:38 8.2K 
[ ]acc_Q.con.types.xml.gz2004-04-08 14:38 8.7K 
[ ]acc_Q.con.body.xml.gz2004-04-08 14:38 12K 
[ ]gcd_OZ_absZ.con.body.xml.gz2004-04-08 14:38 17K 
[ ]gcd_OZ_absZ.con.types.xml.gz2004-04-08 14:38 17K 
[ ]chinese_remaindering_theorem.con.body.xml.gz2004-04-08 14:38 20K 
[ ]chinese_remaindering_theorem.con.types.xml.gz2004-04-08 14:38 26K 
Apache/2.4.61 (Debian) Server at mowgli.cs.unibo.it Port 80