--- a/doc/Contents Wed Aug 26 18:24:06 1998 +0200
+++ b/doc/Contents Wed Aug 26 18:24:11 1998 +0200
@@ -4,3 +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