| Tue, 31 Jul 2007 22:21:20 +0200 |
wenzelm |
simultaneous use_thys;
|
file |
diff |
annotate
|
| 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
|