| Mon, 12 May 1997 17:54:03 +0200 | wenzelm | added AxClass; | changeset | files |
| Mon, 12 May 1997 17:53:36 +0200 | wenzelm | Tutorial on Axiomatic Type Classes; | changeset | files |
| Mon, 12 May 1997 17:26:28 +0200 | wenzelm | list of manuals to be made automatically; | changeset | files |