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