| Tue, 27 Jun 2000 23:43:46 +0200 | wenzelm | replaced arities by instance; | file | diff | annotate |
| Mon, 20 Mar 2000 10:24:07 +0100 | paulson | now based on "Main", as it should be | file | diff | annotate |
| Fri, 21 May 1999 10:50:04 +0200 | paulson | changes to show that Lists are partially ordered by the prefix relation | file | diff | annotate |
| Mon, 05 Feb 1996 21:29:06 +0100 | clasohm | expanded tabs; incorporated Konrad's changes | file | diff | annotate |
| Sat, 18 Nov 1995 14:55:44 +0100 | nipkow | Half a lexical analyzer generator. | file | diff | annotate |