--- a/Admin/index.html Wed May 05 09:44:48 1999 +0200
+++ b/Admin/index.html Wed May 05 14:31:17 1999 +0200
@@ -52,7 +52,9 @@
<li> <a href="{ISABELLE}/doc/intro.dvi">Introduction to Isabelle</a>
<li> <a href="{ISABELLE}/doc/ref.dvi">The Isabelle Reference Manual</a>
<li> <a href="{ISABELLE}/doc/system.dvi">The Isabelle System Manual</a>
-<li> <a href="{ISABELLE}/doc/logics.dvi">Isabelle's Object-Logics</a>
+<li> <a href="{ISABELLE}/doc/logics.dvi">Isabelle's Logics: overview and misc logics</a>
+<li> <a href="{ISABELLE}/doc/logics-HOL.dvi">Isabelle's Logics: HOL</a>
+<li> <a href="{ISABELLE}/doc/logics-ZF.dvi">Isabelle's Logics: FOL and ZF</a>
<li> <a href="{ISABELLE}/doc/ind-defs.dvi">(Co)Inductive Definitions in ZF</a>
<li> <a href="{ISABELLE}/doc/axclass.dvi">Tutorial on Axiomatic Type Classes</a>