| Wed, 08 Dec 2004 10:28:05 +0100 |
paulson |
converted Lfp to new-style theory
|
file |
diff |
annotate
|
| Tue, 07 Dec 2004 16:15:44 +0100 |
paulson |
converted Gfp to new-style theory
|
file |
diff |
annotate
|
| Wed, 18 Aug 2004 11:09:40 +0200 |
nipkow |
import -> imports
|
file |
diff |
annotate
|
| Mon, 16 Aug 2004 14:22:27 +0200 |
nipkow |
New theory header syntax.
|
file |
diff |
annotate
|
| Wed, 27 Aug 2003 18:13:59 +0200 |
skalberg |
Converted to new style theories.
|
file |
diff |
annotate
|
| Thu, 18 May 2000 11:43:57 +0200 |
wenzelm |
fewer consts declared as global;
|
file |
diff |
annotate
|
| Mon, 20 Oct 1997 11:25:39 +0200 |
wenzelm |
adapted to qualified names;
|
file |
diff |
annotate
|
| Fri, 08 Mar 1996 13:11:09 +0100 |
clasohm |
added constdefs section
|
file |
diff |
annotate
|
| Mon, 05 Feb 1996 21:27:16 +0100 |
clasohm |
expanded tabs; renamed subtype to typedef;
|
file |
diff |
annotate
|
| Wed, 29 Nov 1995 16:44:59 +0100 |
clasohm |
removed quotes from types in consts and syntax sections
|
file |
diff |
annotate
|
| Fri, 03 Mar 1995 12:02:25 +0100 |
clasohm |
new version of HOL with curried function application
|
file |
diff |
annotate
|