diff -r 7036da2cfd72 -r 79f98b3136b9 doc/Contents
--- a/doc/Contents	Wed Aug 26 18:24:11 1998 +0200
+++ b/doc/Contents	Wed Aug 26 18:41:00 1998 +0200
@@ -4,4 +4,4 @@
 logics		Isabelle's Object-Logics
 ind-defs	(Co)Inductive Definitions in ZF
 axclass		Tutorial on Axiomatic Type Classes
-hol		Tutorial on Isabelle/HOL
+tutorial	Tutorial on Isabelle/HOL