doc-src/IsarImplementation/Thy/document/ML.tex

--- a/doc-src/IsarImplementation/Thy/document/ML.tex	Thu Sep 07 15:16:41 2006 +0200
+++ b/doc-src/IsarImplementation/Thy/document/ML.tex	Thu Sep 07 15:16:51 2006 +0200
@@ -39,6 +39,19 @@
 \end{isamarkuptext}%
 \isamarkuptrue%
 %
+\isamarkupchapter{Cookbook%
+}
+\isamarkuptrue%
+%
+\isamarkupsection{Defining a method that depends on declarations in the context%
+}
+\isamarkuptrue%
+%
+\begin{isamarkuptext}%
+FIXME%
+\end{isamarkuptext}%
+\isamarkuptrue%
+%
 \isadelimtheory
 %
 \endisadelimtheory