| Mon, 01 Mar 2010 13:40:23 +0100 |
haftmann |
replaced a couple of constsdefs by definitions (also some old primrecs by modern ones)
|
file |
diff |
annotate
|
| Sun, 17 Feb 2008 06:49:53 +0100 |
huffman |
New simpler representation of numerals, using Bit0 and Bit1 instead of BIT, B0, and B1
|
file |
diff |
annotate
|
| Tue, 15 Jan 2008 16:19:23 +0100 |
haftmann |
joined theories IntDef, Numeral, IntArith to theory Int
|
file |
diff |
annotate
|
| Wed, 06 Sep 2006 13:48:02 +0200 |
haftmann |
got rid of Numeral.bin type
|
file |
diff |
annotate
|
| Wed, 28 Sep 2005 13:17:23 +0200 |
obua |
mapped "-->" to "hol4-->"
|
file |
diff |
annotate
|
| Mon, 26 Sep 2005 16:10:19 +0200 |
obua |
Release HOL4 and HOLLight Importer.
|
file |
diff |
annotate
|
| Mon, 26 Sep 2005 02:27:14 +0200 |
obua |
fixed disambiguation problem
|
file |
diff |
annotate
|
| Wed, 21 Sep 2005 18:04:49 +0200 |
wenzelm |
new header syntax;
|
file |
diff |
annotate
|
| Mon, 29 Aug 2005 16:51:39 +0200 |
obua |
Updated import.
|
file |
diff |
annotate
|
| Fri, 17 Jun 2005 16:12:49 +0200 |
haftmann |
migrated theory headers to new format
|
file |
diff |
annotate
|
| Fri, 01 Apr 2005 18:59:17 +0200 |
skalberg |
Updated import configuration.
|
file |
diff |
annotate
|
| Wed, 21 Jul 2004 16:35:38 +0200 |
wenzelm |
updated;
|
file |
diff |
annotate
|
| Thu, 01 Jul 2004 12:29:53 +0200 |
paulson |
new treatment of binary numerals
|
file |
diff |
annotate
|
| Sat, 29 May 2004 16:50:53 +0200 |
wenzelm |
updated;
|
file |
diff |
annotate
|
| Fri, 21 May 2004 21:42:05 +0200 |
wenzelm |
updated;
|
file |
diff |
annotate
|
| Sat, 01 May 2004 22:07:16 +0200 |
wenzelm |
removed 'constdefs' hack;
|
file |
diff |
annotate
|
| Fri, 02 Apr 2004 17:37:45 +0200 |
skalberg |
Added HOL proof importer.
|
file |
diff |
annotate
|