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