src/HOL/ROOT

--- a/src/HOL/ROOT	Mon Mar 11 12:27:31 2013 +0100
+++ b/src/HOL/ROOT	Mon Mar 11 13:28:46 2013 +0100
@@ -1,3 +1,5 @@
+chapter HOL
+
 session HOL (main) = Pure +
   description {* Classical Higher-order Logic *}
   options [document_graph]