--- a/doc-src/Contents Mon May 12 18:26:53 1997 +0200 +++ b/doc-src/Contents Mon May 12 18:34:34 1997 +0200 @@ -1,1 +1,1 @@ -Intro Ref Logics Inductive AxClass +Intro Ref System Logics Inductive AxClass