lib/html/index2.html
Tue, 21 Jul 1998 17:57:07 +0200 wenzelm tuned;
Tue, 21 Jul 1998 16:38:25 +0200 wenzelm library includes Isabelle version information;
Sun, 12 Oct 1997 22:06:00 +0200 berghofe Changed logo.
Tue, 30 Sep 1997 12:49:16 +0200 berghofe Modified some links.
Mon, 29 Sep 1997 14:12:02 +0200 wenzelm fixed href to html library;
Thu, 07 Aug 1997 23:32:24 +0200 berghofe Index file which is copied to $ISABELLE_BROWSER_INFO
less more (0) tip