diff -r 85a5355faa91 -r 21bfc8c14c3d Admin/page/main-content/index.content
--- a/Admin/page/main-content/index.content	Mon Jul 10 12:17:34 2000 +0200
+++ b/Admin/page/main-content/index.content	Wed Jul 12 14:46:28 2000 +0200
@@ -13,7 +13,7 @@
 
 <p>
 
-These pages provide <a href="about.html">general information on Isabelle</a>, more specific
+These pages provide general information on Isabelle, more specific
 information is available from the local pages
 
 <ul>
@@ -46,6 +46,12 @@
   The current version is <strong>{ISABELLE}</strong>.
 
 <p>
+
+You can also browse the main Isabelle logics
+<a href="library/HOL/">HOL</a>, <a href="library/HOLCF/">HOLCF</a>, 
+<a href="library/FOL/">FOL</a> and <a href="library/ZF/">ZF</a> online.
+
+<p>
 &nbsp;
 
 <h2>User interface</h2>