doc/Contents
changeset 5400 645f46a24c72
parent 5381 79f98b3136b9
child 6583 4ac69ed20120
     1.1 --- a/doc/Contents	Thu Aug 27 20:45:57 1998 +0200
     1.2 +++ b/doc/Contents	Thu Aug 27 20:46:36 1998 +0200
     1.3 @@ -1,7 +1,7 @@
     1.4 +tutorial	Tutorial on Isabelle/HOL
     1.5  intro		Introduction to Isabelle
     1.6  ref		The Isabelle Reference Manual
     1.7  system		The Isabelle System Manual
     1.8  logics		Isabelle's Object-Logics
     1.9  ind-defs	(Co)Inductive Definitions in ZF
    1.10  axclass		Tutorial on Axiomatic Type Classes
    1.11 -tutorial	Tutorial on Isabelle/HOL