# HG changeset patch
# User kleing
# Date 1080548255 -7200
# Node ID 216179c782a63f81f55c123484ecbe9e537f7cf8
# Parent  a340f6e6f48189f40b58576589920af6646747ce
include exercises again

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