diff -r 0e3b58479d95 -r 645f46a24c72 doc/Contents --- a/doc/Contents Thu Aug 27 20:45:57 1998 +0200 +++ b/doc/Contents Thu Aug 27 20:46:36 1998 +0200 @@ -1,7 +1,7 @@ +tutorial Tutorial on Isabelle/HOL intro Introduction to Isabelle ref The Isabelle Reference Manual system The Isabelle System Manual logics Isabelle's Object-Logics ind-defs (Co)Inductive Definitions in ZF axclass Tutorial on Axiomatic Type Classes -tutorial Tutorial on Isabelle/HOL