tuned;
authorwenzelm
Wed Mar 11 20:42:16 2009 +0100 (2009-03-11)
changeset 3045952361140a0d1
parent 30458 804de935c328
child 30460 c999618d225e
child 30494 c150e6fa4e0d
tuned;
doc/Contents
     1.1 --- a/doc/Contents	Wed Mar 11 20:36:20 2009 +0100
     1.2 +++ b/doc/Contents	Wed Mar 11 20:42:16 2009 +0100
     1.3 @@ -1,5 +1,6 @@
     1.4  Learning and using Isabelle
     1.5    tutorial        Tutorial on Isabelle/HOL
     1.6 +  main            What's in Main
     1.7    isar-overview   Tutorial on Isar
     1.8    locales         Tutorial on Locales
     1.9    classes         Tutorial on Type Classes
    1.10 @@ -8,7 +9,6 @@
    1.11    sugar           LaTeX sugar for proof documents
    1.12  
    1.13  Reference Manuals
    1.14 -  main            What's in Main
    1.15    isar-ref        The Isabelle/Isar Reference Manual
    1.16    implementation  The Isabelle/Isar Implementation Manual
    1.17    system          The Isabelle System Manual