doc/Contents
changeset 14493 216179c782a6
parent 14491 df007bdff9bf
child 14588 29311d81954e
     1.1 --- a/doc/Contents	Mon Mar 29 08:59:58 2004 +0200
     1.2 +++ b/doc/Contents	Mon Mar 29 10:17:35 2004 +0200
     1.3 @@ -1,6 +1,7 @@
     1.4 -Tutorials
     1.5 +Learning Isabelle
     1.6    tutorial      Tutorial on Isabelle/HOL
     1.7    isar-overview Tutorial on Isar
     1.8 +  exercises     Exercises for Isabelle/HOL
     1.9  
    1.10  Reference Manuals
    1.11    isar-ref      The Isabelle/Isar Reference Manual