doc/Contents
changeset 56423 c2f52824dbb2
parent 53769 036e80175bdd
child 56426 ad83657a3f93
     1.1 --- a/doc/Contents	Sat Apr 05 18:14:54 2014 +0200
     1.2 +++ b/doc/Contents	Sat Apr 05 18:52:03 2014 +0200
     1.3 @@ -1,4 +1,4 @@
     1.4 -Tutorials
     1.5 +Tutorials!
     1.6    prog-prove      Programming and Proving in Isabelle/HOL
     1.7    tutorial        Tutorial on Isabelle/HOL
     1.8    locales         Tutorial on Locales
     1.9 @@ -10,7 +10,7 @@
    1.10    sledgehammer    User's Guide to Sledgehammer
    1.11    sugar           LaTeX Sugar for Isabelle documents
    1.12  
    1.13 -Reference Manuals
    1.14 +Reference Manuals!
    1.15    main            What's in Main
    1.16    isar-ref        The Isabelle/Isar Reference Manual
    1.17    implementation  The Isabelle/Isar Implementation Manual