doc/Contents
changeset 47320 928cb8b35e6e
parent 44801 a0459c50cfc9
child 47323 365521737b6a
     1.1 --- a/doc/Contents	Tue Apr 03 20:37:52 2012 +0200
     1.2 +++ b/doc/Contents	Tue Apr 03 20:42:00 2012 +0200
     1.3 @@ -1,6 +1,6 @@
     1.4  Miscellaneous tutorials
     1.5    tutorial        Tutorial on Isabelle/HOL
     1.6 -  main            What's in Main
     1.7 +  prog-prove      Programming and Proving in Isabelle/HOL
     1.8    isar-overview   Tutorial on Isar
     1.9    locales         Tutorial on Locales
    1.10    classes         Tutorial on Type Classes
    1.11 @@ -10,7 +10,8 @@
    1.12    sledgehammer    User's Guide to Sledgehammer
    1.13    sugar           LaTeX Sugar for Isabelle documents
    1.14  
    1.15 -Main Reference Manuals
    1.16 +Reference Manuals
    1.17 +  main            What's in Main
    1.18    isar-ref        The Isabelle/Isar Reference Manual
    1.19    implementation  The Isabelle/Isar Implementation Manual
    1.20    system          The Isabelle System Manual