doc/Contents
changeset 3174 aceb79945d68
parent 2351 873ffd6f70c3
child 5380 7036da2cfd72
     1.1 --- a/doc/Contents	Mon May 12 18:43:24 1997 +0200
     1.2 +++ b/doc/Contents	Mon May 12 18:44:43 1997 +0200
     1.3 @@ -1,3 +1,6 @@
     1.4 -intro	Introduction to Isabelle
     1.5 -ref	The Isabelle Reference Manual
     1.6 -logics  Isabelle's Object-Logics
     1.7 +intro		Introduction to Isabelle
     1.8 +ref		The Isabelle Reference Manual
     1.9 +system		The Isabelle System Manual
    1.10 +logics		Isabelle's Object-Logics
    1.11 +ind-defs	(Co)Inductive Definitions in ZF
    1.12 +axclass		Tutorial on Axiomatic Type Classes