| 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 |