| Fri, 05 Oct 2001 21:52:39 +0200 | wenzelm | sane numerals (stage 1): added generic 1, removed 1' and 2 on nat, | file | diff | annotate |
| Tue, 07 Aug 2001 16:36:52 +0200 | paulson | Tweaks for 1 -> 1' | file | diff | annotate |
| Sat, 09 Jun 2001 08:42:06 +0200 | paulson | simplified a proof using new dvd rules | file | diff | annotate |
| Sun, 04 Feb 2001 19:31:13 +0100 | wenzelm | HOL-NumberTheory: converted to new-style format and proper document setup; | file | diff | annotate |
| Wed, 13 Sep 2000 18:46:45 +0200 | paulson | moved Primes, Fib, Factorization from HOL/ex | file | diff | annotate |