# HG changeset patch
# User wenzelm
# Date 925907477 -7200
# Node ID fa5f2ca893c5f4a696ff1b674bd39eac83c4b6cd
# Parent  41b44b20a1b430e8de85f4e11731da6952b5484c
updated docs;

diff -r 41b44b20a1b4 -r fa5f2ca893c5 Admin/index.html
--- 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>