# HG changeset patch
# User wenzelm
# Date 904148651 -7200
# Node ID 7036da2cfd722ea071e6ba9c4da9379627a49834
# Parent  69b0c72d70d07065a404940ff05c23fcb7b905c3
added HOL tutorial;

diff -r 69b0c72d70d0 -r 7036da2cfd72 doc/Contents
--- 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