diff -r f5a0de92bcc8 -r 69b0c72d70d0 doc-src/Contents
--- a/doc-src/Contents	Wed Aug 26 18:08:04 1998 +0200
+++ b/doc-src/Contents	Wed Aug 26 18:24:06 1998 +0200
@@ -1,1 +1,1 @@
-Intro Ref System Logics Inductive AxClass
+Intro Ref System Logics Inductive AxClass Tutorial