--- 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