Sat, 01 Dec 2001 18:52:32 +0100 |
wenzelm |
renamed class "term" to "type" (actually "HOL.type");
|
file |
diff |
annotate
|
Mon, 12 Feb 2001 20:43:12 +0100 |
wenzelm |
\<subseteq>;
|
file |
diff |
annotate
|
Mon, 05 Feb 2001 20:33:50 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
Mon, 23 Oct 2000 22:10:36 +0200 |
wenzelm |
intro_classes by default;
|
file |
diff |
annotate
|
Sun, 15 Oct 2000 19:51:56 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
Tue, 03 Oct 2000 18:55:23 +0200 |
wenzelm |
major cleanup -- improved typesetting;
|
file |
diff |
annotate
|
Thu, 13 Jul 2000 23:07:10 +0200 |
wenzelm |
defs (overloaded);
|
file |
diff |
annotate
|
Mon, 26 Jun 2000 11:43:56 +0200 |
wenzelm |
isar-strip-terminators;
|
file |
diff |
annotate
|
Mon, 22 May 2000 11:56:55 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
Sun, 21 May 2000 21:48:39 +0200 |
wenzelm |
new Isar version;
|
file |
diff |
annotate
|
Sun, 21 May 2000 01:12:00 +0200 |
wenzelm |
snapshot of new Isar'ized version;
|
file |
diff |
annotate
|