| 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 |
| Mon, 10 May 1999 17:44:17 +0200 | wenzelm | tuned; | file | diff | annotate |
| Mon, 10 May 1999 16:35:22 +0200 | wenzelm | pdf setup; | file | diff | annotate |
| Wed, 05 May 1999 18:26:10 +0200 | wenzelm | improved Makefile; | file | diff | annotate |
| Mon, 12 May 1997 17:53:36 +0200 | wenzelm | Tutorial on Axiomatic Type Classes; | file | diff | annotate |