Wed, 16 Nov 2005 19:34:19 +0100 |
wenzelm |
tuned document;
|
file |
diff |
annotate
|
Thu, 08 Nov 2001 23:50:08 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
Wed, 18 Oct 2000 23:35:56 +0200 |
wenzelm |
MultisetOrder mmoved to HOL/Library;
|
file |
diff |
annotate
|
Tue, 03 Oct 2000 22:36:22 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
Sat, 02 Sep 2000 21:44:31 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
Wed, 05 Apr 2000 21:06:52 +0200 |
wenzelm |
added NestedDatatype;
|
file |
diff |
annotate
|
Tue, 08 Feb 2000 20:12:36 +0100 |
wenzelm |
omit Primes;
|
file |
diff |
annotate
|
Fri, 04 Feb 2000 21:37:23 +0100 |
wenzelm |
manually load session;
|
file |
diff |
annotate
|
Tue, 07 Dec 1999 17:14:49 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
Tue, 07 Dec 1999 12:13:09 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
Fri, 15 Oct 1999 16:44:37 +0200 |
wenzelm |
improved presentation;
|
file |
diff |
annotate
|
Thu, 14 Oct 1999 16:02:39 +0200 |
wenzelm |
improved presentation;
|
file |
diff |
annotate
|
Sat, 09 Oct 1999 23:17:47 +0200 |
wenzelm |
bib;
|
file |
diff |
annotate
|
Fri, 08 Oct 1999 16:17:59 +0200 |
wenzelm |
url;
|
file |
diff |
annotate
|
Fri, 08 Oct 1999 15:09:14 +0200 |
wenzelm |
improved presentation;
|
file |
diff |
annotate
|
Tue, 05 Oct 1999 18:16:53 +0200 |
wenzelm |
added document;
|
file |
diff |
annotate
|