| 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 | file | diff | annotate |
| Wed, 13 Jun 2007 03:31:11 +0200 | huffman | removed constant int :: nat => int; | file | diff | annotate |
| Tue, 05 Jun 2007 10:42:31 +0200 | chaieb | added lcm, ilcm (lcm for integers) and some lemmas about them; | file | diff | annotate |
| Tue, 27 Feb 2007 00:33:49 +0100 | wenzelm | tuned document; | file | diff | annotate |
| Sat, 06 Jan 2007 20:56:44 +0100 | chaieb | A few lemmas about relative primes when dividing trough gcd | file | diff | annotate |
| Fri, 17 Nov 2006 02:20:03 +0100 | wenzelm | more robust syntax for definition/abbreviation/notation; | file | diff | annotate |
| Thu, 09 Nov 2006 11:58:49 +0100 | wenzelm | tuned; | file | diff | annotate |
| Wed, 08 Nov 2006 23:11:13 +0100 | wenzelm | moved theories Parity, GCD, Binomial to Library; | file | diff | annotate |