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

--- a/doc-src/IsarImplementation/Thy/document/logic.tex	Wed Aug 30 12:28:32 2006 +0200
+++ b/doc-src/IsarImplementation/Thy/document/logic.tex	Wed Aug 30 12:28:39 2006 +0200
@@ -27,6 +27,15 @@
 }
 \isamarkuptrue%
 %
+\isamarkupsubsection{Variable names%
+}
+\isamarkuptrue%
+%
+\begin{isamarkuptext}%
+FIXME%
+\end{isamarkuptext}%
+\isamarkuptrue%
+%
 \isamarkupsubsection{Simply-typed lambda calculus%
 }
 \isamarkuptrue%