--- a/doc-src/Contents Fri Jun 14 11:57:04 2002 +0200
+++ b/doc-src/Contents Fri Jun 14 13:24:32 2002 +0200
@@ -1,1 +1,1 @@
-Intro Ref System Logics HOL ZF Inductive AxClass TutorialI IsarRef
+Intro Ref System Logics HOL ZF Inductive AxClass TutorialI IsarRef IsarTut