src/HOL/Library/GCD.thy
Tue, 24 Jul 2007 15:20:49 +0200 haftmann renamed lcm_lowest to lcm_least
Tue, 10 Jul 2007 09:23:13 +0200 haftmann extended - convers now basic lcm properties also
Wed, 20 Jun 2007 05:18:39 +0200 huffman 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
Wed, 13 Jun 2007 03:31:11 +0200 huffman removed constant int :: nat => int;
Tue, 05 Jun 2007 10:42:31 +0200 chaieb added lcm, ilcm (lcm for integers) and some lemmas about them;
Tue, 27 Feb 2007 00:33:49 +0100 wenzelm tuned document;
Sat, 06 Jan 2007 20:56:44 +0100 chaieb A few lemmas about relative primes when dividing trough gcd
Fri, 17 Nov 2006 02:20:03 +0100 wenzelm more robust syntax for definition/abbreviation/notation;
Thu, 09 Nov 2006 11:58:49 +0100 wenzelm tuned;
Wed, 08 Nov 2006 23:11:13 +0100 wenzelm moved theories Parity, GCD, Binomial to Library;
less more (0) tip