Thu, 30 May 2002 10:12:52 +0200 |
nipkow |
Modifications due to enhanced linear arithmetic.
|
file |
diff |
annotate
|
Tue, 28 May 2002 11:06:06 +0200 |
paulson |
conversion of IntDiv.thy to Isar format
|
file |
diff |
annotate
|
Mon, 22 Oct 2001 11:54:22 +0200 |
paulson |
Numerals now work for the integers: the binary numerals for 0 and 1 rewrite
|
file |
diff |
annotate
|
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
|
Sun, 04 Feb 2001 19:31:13 +0100 |
wenzelm |
HOL-NumberTheory: converted to new-style format and proper document setup;
|
file |
diff |
annotate
|
Tue, 03 Oct 2000 22:37:16 +0200 |
wenzelm |
tuned deps;
|
file |
diff |
annotate
|
Wed, 13 Sep 2000 18:46:09 +0200 |
paulson |
zgcd now works for negative integers
|
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
|