doc/Contents
changeset 44801 a0459c50cfc9
parent 41596 e424bc65080d
child 47320 928cb8b35e6e
     1.1 --- a/doc/Contents	Wed Sep 07 20:29:54 2011 +0200
     1.2 +++ b/doc/Contents	Wed Sep 07 20:49:45 2011 +0200
     1.3 @@ -1,4 +1,4 @@
     1.4 -Learning and using Isabelle
     1.5 +Miscellaneous tutorials
     1.6    tutorial        Tutorial on Isabelle/HOL
     1.7    main            What's in Main
     1.8    isar-overview   Tutorial on Isar