diff -r ed793a2f3f35 -r dd4648ae6eff doc/Contents
--- a/doc/Contents	Wed Nov 17 07:35:14 2004 +0100
+++ b/doc/Contents	Wed Nov 17 07:35:50 2004 +0100
@@ -2,7 +2,6 @@
   tutorial      Tutorial on Isabelle/HOL
   isar-overview Tutorial on Isar
   locales       Tutorial on Locales
-  exercises     Exercises for Isabelle/HOL
 
 Reference Manuals
   isar-ref      The Isabelle/Isar Reference Manual