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