lib/html/index1.html
1998-07-22 wenzelm tuned;
1998-07-21 wenzelm tuned;
1998-07-21 wenzelm library includes Isabelle version information;
1997-10-12 berghofe Changed logo.
1997-09-30 berghofe Modified some links.
1997-08-07 berghofe Index file which is copied to $ISABELLE_BROWSER_INFO
less more (0) tip