| Fri, 17 Jun 2005 16:12:49 +0200 |
haftmann |
migrated theory headers to new format
|
file |
diff |
annotate
|
| Fri, 02 Apr 2004 16:21:57 +0200 |
paulson |
updated treatment of znegative and nat_of
|
file |
diff |
annotate
|
| Mon, 30 Sep 2002 16:48:15 +0200 |
berghofe |
Adapted to new simplifier.
|
file |
diff |
annotate
|
| Sat, 07 Sep 2002 22:04:28 +0200 |
paulson |
conversion of ZF/Integ/{Int,Bin} to Isar scripts
|
file |
diff |
annotate
|
| Wed, 14 Nov 2001 18:46:07 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Tue, 26 Jun 2001 17:04:09 +0200 |
paulson |
tidying and consolidating files
|
file |
diff |
annotate
|
| Thu, 10 Aug 2000 11:27:34 +0200 |
paulson |
installation of cancellation simprocs for the integers
|
file |
diff |
annotate
|
| Mon, 07 Aug 2000 10:29:54 +0200 |
paulson |
instantiated Cancel_Numerals for "nat" in ZF
|
file |
diff |
annotate
|
| Fri, 30 Jun 2000 10:59:50 +0200 |
paulson |
removed the mutual recursion from "bin_add"
|
file |
diff |
annotate
|
| Wed, 27 Jan 1999 10:31:31 +0100 |
paulson |
new typechecking solver for the simplifier
|
file |
diff |
annotate
|
| Wed, 13 Jan 1999 15:14:47 +0100 |
paulson |
tidying of datatype and inductive definitions
|
file |
diff |
annotate
|
| Mon, 28 Dec 1998 16:54:01 +0100 |
paulson |
converted to use new primrec section
|
file |
diff |
annotate
|
| Fri, 25 Sep 1998 13:18:07 +0200 |
paulson |
Renaming of Integ/Integ.* to Integ/Int.*, and renaming of related constants
|
file |
diff |
annotate
|
| Tue, 22 Sep 1998 13:49:22 +0200 |
paulson |
new directory for Integers
|
file |
diff |
annotate
|