| Mon, 11 Oct 1999 11:08:30 +0200 | wenzelm | tuned packages; | file | diff | annotate |
| Mon, 10 May 1999 16:35:22 +0200 | wenzelm | pdf setup; | file | diff | annotate |
| Thu, 22 May 1997 10:40:08 +0200 | wenzelm | fixed packages; | file | diff | annotate |
| Mon, 12 May 1997 17:53:36 +0200 | wenzelm | Tutorial on Axiomatic Type Classes; | file | diff | annotate |