| Sun, 01 Oct 2006 18:29:26 +0200 | wenzelm | moved theory Infinite_Set to Library; | file | diff | annotate |
| Wed, 17 May 2006 01:23:43 +0200 | wenzelm | removed outdated/redundant comments; | file | diff | annotate |
| Wed, 03 Dec 2003 10:49:34 +0100 | paulson | Simplification of the development of Integers | file | diff | annotate |
| Mon, 31 Mar 2003 12:29:26 +0200 | paulson | tidied | file | diff | annotate |
| Thu, 20 Mar 2003 15:58:25 +0100 | paulson | Gauss's law of quadratic reciprocity by Avigad, Gray and Kramer | file | diff | annotate |
| Sat, 09 Jun 2001 14:18:19 +0200 | wenzelm | tuned Primes theory; | 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 |
| Thu, 03 Aug 2000 10:46:01 +0200 | paulson | Chinese Remainder Theorem, Wilsons Theorem, etc., by T M Masmussen | file | diff | annotate |