doc/Contents
changeset 6583 4ac69ed20120
parent 5400 645f46a24c72
child 7045 d6595926aa10
     1.1 --- a/doc/Contents	Tue May 04 18:05:34 1999 +0200
     1.2 +++ b/doc/Contents	Tue May 04 18:11:35 1999 +0200
     1.3 @@ -2,6 +2,8 @@
     1.4  intro		Introduction to Isabelle
     1.5  ref		The Isabelle Reference Manual
     1.6  system		The Isabelle System Manual
     1.7 -logics		Isabelle's Object-Logics
     1.8 +logics		Isabelle's Logics: overview and misc logics
     1.9 +logics-HOL	Isabelle's Logics: HOL
    1.10 +logics-ZF	Isabelle's Logics: FOL and ZF
    1.11  ind-defs	(Co)Inductive Definitions in ZF
    1.12  axclass		Tutorial on Axiomatic Type Classes