--- a/doc-src/Contents Wed Jan 13 16:36:36 1999 +0100 +++ b/doc-src/Contents Wed Jan 13 16:38:02 1999 +0100 @@ -1,1 +1,1 @@ -Intro Ref System Logics Inductive AxClass Tutorial +Intro Ref System Logics ZF Inductive AxClass Tutorial