--- 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