doc/Contents
changeset 14491 df007bdff9bf
parent 14001 212271f61915
child 14493 216179c782a6
     1.1 --- a/doc/Contents	Mon Mar 29 08:54:26 2004 +0200
     1.2 +++ b/doc/Contents	Mon Mar 29 08:59:23 2004 +0200
     1.3 @@ -1,12 +1,17 @@
     1.4 -tutorial	Tutorial on Isabelle/HOL
     1.5 -isar-overview	Tutorial on Isar
     1.6 -exercises	Exercises for Isabelle/HOL
     1.7 -axclass		Tutorial on Axiomatic Type Classes
     1.8 -isar-ref	The Isabelle/Isar Reference Manual
     1.9 -ref		The Isabelle Reference Manual
    1.10 -system		The Isabelle System Manual
    1.11 -intro		Introduction to Isabelle
    1.12 -logics		Isabelle's Logics: overview and misc logics
    1.13 -logics-HOL	Isabelle's Logics: HOL
    1.14 -logics-ZF	Isabelle's Logics: FOL and ZF
    1.15 -ind-defs	(Co)Inductive Definitions in ZF
    1.16 +Tutorials
    1.17 +  tutorial      Tutorial on Isabelle/HOL
    1.18 +  isar-overview Tutorial on Isar
    1.19 +
    1.20 +Reference Manuals
    1.21 +  isar-ref      The Isabelle/Isar Reference Manual
    1.22 +  ref           The Isabelle Reference Manual
    1.23 +  system        The Isabelle System Manual
    1.24 +
    1.25 +Logics
    1.26 +  logics        Isabelle's Logics: overview and misc logics
    1.27 +  logics-HOL    Isabelle's Logics: HOL
    1.28 +  logics-ZF     Isabelle's Logics: FOL and ZF
    1.29 +
    1.30 +Specific Topics
    1.31 +  axclass       Tutorial on Axiomatic Type Classes
    1.32 +  ind-defs      (Co)Inductive Definitions in ZF