--- a/doc-src/Contents Sat Mar 01 16:57:32 2003 +0100
+++ b/doc-src/Contents Sat Mar 01 16:59:41 2003 +0100
@@ -1,1 +1,1 @@
-Intro Ref System Logics HOL ZF Inductive AxClass TutorialI IsarRef
+Intro Ref System Logics HOL ZF Inductive AxClass TutorialI IsarRef Exercises