--- a/doc-src/Codegen/Thy/document/Evaluation.tex Sat Feb 18 20:12:37 2012 +0100
+++ b/doc-src/Codegen/Thy/document/Evaluation.tex Sat Feb 18 20:13:38 2012 +0100
@@ -427,6 +427,7 @@
%
\endisadelimtheory
\isanewline
+\isanewline
\end{isabellebody}%
%%% Local Variables:
%%% mode: latex