diff -r e502690952be -r 98ba42f19995 doc-src/IsarImplementation/Thy/document/integration.tex
--- a/doc-src/IsarImplementation/Thy/document/integration.tex	Thu Sep 07 15:16:51 2006 +0200
+++ b/doc-src/IsarImplementation/Thy/document/integration.tex	Thu Sep 07 20:12:08 2006 +0200
@@ -510,15 +510,6 @@
 %
 \endisadelimmlref
 %
-\isamarkupsection{Sessions and document preparation%
-}
-\isamarkuptrue%
-%
-\begin{isamarkuptext}%
-FIXME%
-\end{isamarkuptext}%
-\isamarkuptrue%
-%
 \isadelimtheory
 %
 \endisadelimtheory