| Thu, 20 Nov 1997 15:38:51 +0100 | wenzelm | removed old note; | file | diff | annotate |
| Fri, 23 May 1997 18:55:28 +0200 | wenzelm | tuned; | file | diff | annotate |
| Tue, 20 May 1997 19:34:50 +0200 | wenzelm | tuned; | file | diff | annotate |
| Tue, 06 May 1997 15:24:41 +0200 | wenzelm | tuned; | file | diff | annotate |
| Fri, 07 Mar 1997 15:51:31 +0100 | wenzelm | tuned; | file | diff | annotate |
| Fri, 07 Mar 1997 14:49:56 +0100 | wenzelm | Isabelle installation notes; | file | diff | annotate |