doc/Contents
changeset 15291 dd4648ae6eff
parent 14588 29311d81954e
child 15375 aea34cbc97dd
     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