| Mon, 22 Jun 2009 23:48:24 +0200 | wenzelm | observe standard theory naming conventions; | file | diff | annotate |
| 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 |