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;