Fri, 19 Aug 2005 22:28:23 +0200 |
wenzelm |
updated;
|
file |
diff |
annotate
|
Sat, 01 Dec 2001 18:52:32 +0100 |
wenzelm |
renamed class "term" to "type" (actually "HOL.type");
|
file |
diff |
annotate
|
Sat, 27 Oct 2001 23:13:42 +0200 |
wenzelm |
updated;
|
file |
diff |
annotate
|
Mon, 12 Feb 2001 20:43:12 +0100 |
wenzelm |
\<subseteq>;
|
file |
diff |
annotate
|
Sat, 04 Nov 2000 18:54:22 +0100 |
wenzelm |
updated;
|
file |
diff |
annotate
|
Sun, 15 Oct 2000 19:51:56 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
Thu, 12 Oct 2000 17:48:47 +0200 |
wenzelm |
updated;
|
file |
diff |
annotate
|
Tue, 03 Oct 2000 18:55:23 +0200 |
wenzelm |
major cleanup -- improved typesetting;
|
file |
diff |
annotate
|
Mon, 11 Sep 2000 17:54:22 +0200 |
wenzelm |
updated;
|
file |
diff |
annotate
|
Fri, 01 Sep 2000 00:27:41 +0200 |
wenzelm |
updated;
|
file |
diff |
annotate
|
Mon, 21 Aug 2000 19:03:58 +0200 |
wenzelm |
updated;
|
file |
diff |
annotate
|
Mon, 21 Aug 2000 13:47:24 +0200 |
wenzelm |
updated;
|
file |
diff |
annotate
|
Fri, 04 Aug 2000 10:59:28 +0200 |
wenzelm |
updated;
|
file |
diff |
annotate
|
Mon, 26 Jun 2000 11:21:49 +0200 |
wenzelm |
updated;
|
file |
diff |
annotate
|
Mon, 22 May 2000 11:56:55 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
Mon, 22 May 2000 10:31:44 +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
|