| Fri, 11 Aug 2000 10:34:02 +0200 |
paulson |
interim working version: more improvements to the integers
|
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 11:57:09 +0100 |
paulson |
datatype package improvements
|
file |
diff |
annotate
|
| Wed, 06 Jan 1999 13:24:33 +0100 |
paulson |
induct_tac and exhaust_tac
|
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
|