| Mon, 10 May 1999 16:47:53 +0200 | axclass; | file | diff | annotate |
| Mon, 10 May 1999 15:17:14 +0200 | fixed URLs; | file | diff | annotate |
| Fri, 07 May 1999 10:48:56 +0200 | new refererences for Inductive manual, but still incomplete | file | diff | annotate |
| Thu, 06 May 1999 11:48:26 +0200 | More refs. | file | diff | annotate |
| Wed, 05 May 1999 16:44:42 +0200 | Now uses manual.bib; some references updated | file | diff | annotate |