Admin/page/main-content/logics.content

--- a/Admin/page/main-content/logics.content	Mon Oct 09 19:49:58 2000 +0200
+++ b/Admin/page/main-content/logics.content	Mon Oct 09 20:05:49 2000 +0200
@@ -13,7 +13,7 @@
 <h2>Isabelle's Logics</h2>
 
 The Isabelle distribution includes a large body of object logics and
-other examples (see the <a href="library/">Isabelle theory
+other examples (see the <a href="library/index.html">Isabelle theory
 library</a>).
 
 <dl>