| Tue, 28 Sep 2010 12:47:55 +0200 | haftmann | modernized primrecs | file | diff | annotate |
| Tue, 07 Oct 2008 16:07:50 +0200 | haftmann | arbitrary is undefined | file | diff | annotate |
| Fri, 17 Jun 2005 16:12:49 +0200 | haftmann | migrated theory headers to new format | file | diff | annotate |
| Thu, 24 Oct 2002 12:07:31 +0200 | kleing | cleanup, beautified | file | diff | annotate |
| Thu, 21 Feb 2002 09:54:08 +0100 | kleing | new document | file | diff | annotate |
| Sun, 16 Dec 2001 00:19:08 +0100 | kleing | exception merge + cleanup | file | diff | annotate |
| Tue, 16 Jan 2001 15:56:34 +0100 | kleing | newref -> new_Addr | file | diff | annotate |