--- a/doc-src/IsarImplementation/Thy/integration.thy Thu Sep 07 15:16:51 2006 +0200
+++ b/doc-src/IsarImplementation/Thy/integration.thy Thu Sep 07 20:12:08 2006 +0200
@@ -432,9 +432,4 @@
\end{description}
*}
-
-section {* Sessions and document preparation *}
-
-text FIXME
-
end