made tutorial first;
authorwenzelm
Thu Aug 27 20:46:36 1998 +0200 (1998-08-27)
changeset 5400645f46a24c72
parent 5399 0e3b58479d95
child 5401 79d3b232d859
made tutorial first;
doc/Contents
     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