src/Doc/ROOT

--- a/src/Doc/ROOT	Mon Mar 11 12:27:31 2013 +0100
+++ b/src/Doc/ROOT	Mon Mar 11 13:28:46 2013 +0100
@@ -1,3 +1,5 @@
+chapter Doc
+
 session Classes (doc) in "Classes" = HOL +
   options [document_variants = "classes"]
   theories [document = false] Setup