--- a/doc-src/Contents Wed Apr 19 13:40:42 2000 +0200
+++ b/doc-src/Contents Wed Apr 19 14:22:11 2000 +0200
@@ -1,1 +1,1 @@
-Intro Ref System Logics HOL ZF Inductive AxClass Tutorial IsarRef
+Intro Ref System Logics HOL ZF Inductive AxClass TutorialI IsarRef