| Fri, 05 Oct 2001 21:52:39 +0200 | sane numerals (stage 1): added generic 1, removed 1' and 2 on nat, | file | diff | annotate |
| Mon, 06 Aug 2001 13:43:24 +0200 | turned translation for 1::nat into def. | file | diff | annotate |
| Wed, 13 Jun 2001 16:29:51 +0200 | New proof of gcd_zero after a change to Divides.ML made the old one fail | file | diff | annotate |
| Sat, 09 Jun 2001 14:22:08 +0200 | tuned | file | diff | annotate |
| Sat, 09 Jun 2001 14:18:19 +0200 | tuned Primes theory; | file | diff | annotate |
| Sat, 09 Jun 2001 08:41:25 +0200 | moved Primes.thy from NumberTheory to Library | file | diff | annotate |