# HG changeset patch
# User kleing
# Date 1100673350 -3600
# Node ID dd4648ae6effc690963b1bfc6e1542ad52750ebb
# Parent  ed793a2f3f35c18816f7a62186671053a0fdb252
removed Exercises document (available on separate web site now)

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