diff -r a340f6e6f481 -r 216179c782a6 doc/Contents
--- a/doc/Contents	Mon Mar 29 08:59:58 2004 +0200
+++ b/doc/Contents	Mon Mar 29 10:17:35 2004 +0200
@@ -1,6 +1,7 @@
-Tutorials
+Learning Isabelle
   tutorial      Tutorial on Isabelle/HOL
   isar-overview Tutorial on Isar
+  exercises     Exercises for Isabelle/HOL
 
 Reference Manuals
   isar-ref      The Isabelle/Isar Reference Manual