removed Exercises document (available on separate web site now)
authorkleing
Wed Nov 17 07:35:50 2004 +0100 (2004-11-17)
changeset 15291dd4648ae6eff
parent 15290 ed793a2f3f35
child 15292 09e218879265
removed Exercises document (available on separate web site now)
doc/Contents
     1.1 --- a/doc/Contents	Wed Nov 17 07:35:14 2004 +0100
     1.2 +++ b/doc/Contents	Wed Nov 17 07:35:50 2004 +0100
     1.3 @@ -2,7 +2,6 @@
     1.4    tutorial      Tutorial on Isabelle/HOL
     1.5    isar-overview Tutorial on Isar
     1.6    locales       Tutorial on Locales
     1.7 -  exercises     Exercises for Isabelle/HOL
     1.8  
     1.9  Reference Manuals
    1.10    isar-ref      The Isabelle/Isar Reference Manual