diff -r f8c38e2d7269 -r 6b5a1dfe8cfc doc/Contents
--- a/doc/Contents	Sat Mar 01 16:59:41 2003 +0100
+++ b/doc/Contents	Sat Mar 01 19:19:47 2003 +0100
@@ -1,4 +1,5 @@
 tutorial	Tutorial on Isabelle/HOL
+exercises	Exercises for Isabelle/HOL
 axclass		Tutorial on Axiomatic Type Classes
 isar-ref	The Isabelle/Isar Reference Manual
 ref		The Isabelle Reference Manual