diff -r 4e1eae442821 -r 480bfa3ede7d doc-src/Contents
--- a/doc-src/Contents	Mon May 12 17:53:36 1997 +0200
+++ b/doc-src/Contents	Mon May 12 17:54:03 1997 +0200
@@ -1,1 +1,1 @@
-Intro Ref Logics Inductive
+Intro Ref Logics Inductive AxClass