fixed tutorial;
authorwenzelm
Wed Aug 26 18:41:00 1998 +0200 (1998-08-26)
changeset 538179f98b3136b9
parent 5380 7036da2cfd72
child 5382 dfbe72ddbd2d
fixed tutorial;
doc/Contents
     1.1 --- a/doc/Contents	Wed Aug 26 18:24:11 1998 +0200
     1.2 +++ b/doc/Contents	Wed Aug 26 18:41:00 1998 +0200
     1.3 @@ -4,4 +4,4 @@
     1.4  logics		Isabelle's Object-Logics
     1.5  ind-defs	(Co)Inductive Definitions in ZF
     1.6  axclass		Tutorial on Axiomatic Type Classes
     1.7 -hol		Tutorial on Isabelle/HOL
     1.8 +tutorial	Tutorial on Isabelle/HOL