doc/Contents

--- a/doc/Contents	Tue May 04 18:05:34 1999 +0200
+++ b/doc/Contents	Tue May 04 18:11:35 1999 +0200
@@ -2,6 +2,8 @@
 intro		Introduction to Isabelle
 ref		The Isabelle Reference Manual
 system		The Isabelle System Manual
-logics		Isabelle's Object-Logics
+logics		Isabelle's Logics: overview and misc logics
+logics-HOL	Isabelle's Logics: HOL
+logics-ZF	Isabelle's Logics: FOL and ZF
 ind-defs	(Co)Inductive Definitions in ZF
 axclass		Tutorial on Axiomatic Type Classes