--- 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 *}