diff -r e502690952be -r 98ba42f19995 doc-src/IsarImplementation/Thy/unused.thy
--- a/doc-src/IsarImplementation/Thy/unused.thy	Thu Sep 07 15:16:51 2006 +0200
+++ b/doc-src/IsarImplementation/Thy/unused.thy	Thu Sep 07 20:12:08 2006 +0200
@@ -1,3 +1,6 @@
+
+section {* Sessions and document preparation *}
+
 section {* Structured output *}
 
 subsection {* Pretty printing *}