doc/Contents
changeset 30457 28b487cd9e15
parent 30242 aea5d7fa7ef5
child 30459 52361140a0d1
     1.1 --- a/doc/Contents	Wed Mar 11 20:09:23 2009 +0100
     1.2 +++ b/doc/Contents	Wed Mar 11 20:11:06 2009 +0100
     1.3 @@ -8,6 +8,7 @@
     1.4    sugar           LaTeX sugar for proof documents
     1.5  
     1.6  Reference Manuals
     1.7 +  main            What's in Main
     1.8    isar-ref        The Isabelle/Isar Reference Manual
     1.9    implementation  The Isabelle/Isar Implementation Manual
    1.10    system          The Isabelle System Manual