--- a/doc-src/Contents Tue Aug 27 11:09:35 2002 +0200
+++ b/doc-src/Contents Tue Aug 27 15:39:39 2002 +0200
@@ -1,1 +1,1 @@
-Intro Ref System Logics HOL ZF Inductive AxClass TutorialI IsarRef IsarTut
+Intro Ref System Logics HOL ZF Inductive AxClass TutorialI IsarRef