--- a/doc-src/Contents Mon Jul 19 17:03:10 1999 +0200 +++ b/doc-src/Contents Mon Jul 19 17:07:30 1999 +0200 @@ -1,1 +1,1 @@ -Intro Ref System Logics HOL ZF Inductive AxClass Tutorial +Intro Ref System Logics HOL ZF Inductive AxClass Tutorial IsarRef