src/Doc/ROOT
changeset 51397 03b586ee5930
parent 50426 d2c60ada3ece
child 51558 91f8bed6d0a4
     1.1 --- a/src/Doc/ROOT	Mon Mar 11 12:27:31 2013 +0100
     1.2 +++ b/src/Doc/ROOT	Mon Mar 11 13:28:46 2013 +0100
     1.3 @@ -1,3 +1,5 @@
     1.4 +chapter Doc
     1.5 +
     1.6  session Classes (doc) in "Classes" = HOL +
     1.7    options [document_variants = "classes"]
     1.8    theories [document = false] Setup