changeset 20491 | 98ba42f19995 |
parent 20475 | a04bf731ceb6 |
child 21172 | eea3c9048c7a |
--- 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