| Mon, 10 Nov 1997 11:47:32 +0100 | wenzelm | fixed spelling; | file | diff | annotate |
| Tue, 14 Oct 1997 11:57:14 +0200 | wenzelm | tuned; | file | diff | annotate |
| Tue, 07 Oct 1997 12:37:53 +0200 | wenzelm | tuned; | file | diff | annotate |
| Tue, 07 Oct 1997 12:29:34 +0200 | wenzelm | The Isabelle Logo; | file | diff | annotate |