src/HOL/Library/GCD.thy
2008-06-10 haftmann 2008-06-10 removed some dubious code lemmas
2008-03-17 wenzelm 2008-03-17 avoid rebinding of existing facts;
2007-12-17 paulson 2007-12-17 fixed ancestors
2007-12-10 haftmann 2007-12-10 switched import from Main to PreList
2007-10-20 chaieb 2007-10-20 fixed proofs
2007-07-26 chaieb 2007-07-26 removed redundant ilcm_dvd1 ilcm_dvd2 zvdd_abs1
2007-07-25 nipkow 2007-07-25 Added lemmas
2007-07-24 haftmann 2007-07-24 renamed lcm_lowest to lcm_least
2007-07-10 haftmann 2007-07-10 extended - convers now basic lcm properties also
2007-06-20 huffman 2007-06-20 change simp rules for of_nat to work like int did previously (reorient of_nat_Suc, remove of_nat_mult [simp]); preserve original variable names in legacy int theorems
2007-06-13 huffman 2007-06-13 removed constant int :: nat => int; int is now an abbreviation for of_nat :: nat => int
2007-06-05 chaieb 2007-06-05 added lcm, ilcm (lcm for integers) and some lemmas about them;
2007-02-27 wenzelm 2007-02-27 tuned document;
2007-01-06 chaieb 2007-01-06 A few lemmas about relative primes when dividing trough gcd Definition of gcd on integers and a few lemmas.
2006-11-17 wenzelm 2006-11-17 more robust syntax for definition/abbreviation/notation;
2006-11-09 wenzelm 2006-11-09 tuned;
2006-11-08 wenzelm 2006-11-08 moved theories Parity, GCD, Binomial to Library;