Tue, 21 Jul 1998 16:41:12 +0200 | wenzelm | fixed isabelle logo; | file | diff | annotate |
Mon, 12 May 1997 18:34:49 +0200 | wenzelm | *** empty log message *** | file | diff | annotate |
Mon, 12 May 1997 18:26:53 +0200 | wenzelm | The Isabelle System Manual; | file | diff | annotate |