src/HOL/Library/GCD.thy
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;