--- a/doc-src/Contents Tue Nov 16 20:20:14 2004 +0100
+++ b/doc-src/Contents Wed Nov 17 07:35:14 2004 +0100
@@ -1,1 +1,1 @@
-Ref System Logics HOL ZF Inductive AxClass TutorialI IsarOverview IsarRef Exercises Locales
+Ref System Logics HOL ZF Inductive AxClass TutorialI IsarOverview IsarRef Locales