diff -r ed4e97874454 -r f8c38e2d7269 doc-src/Contents
--- 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