--- a/doc-src/Contents Tue May 04 18:55:43 1999 +0200 +++ b/doc-src/Contents Tue May 04 18:56:43 1999 +0200 @@ -1,1 +1,1 @@ -Intro Ref System Logics ZF Inductive AxClass Tutorial +Intro Ref System Logics HOL ZF Inductive AxClass Tutorial