--- a/doc-src/TutorialI/CodeGen/document/CodeGen.tex Tue Dec 17 11:04:58 2002 +0100
+++ b/doc-src/TutorialI/CodeGen/document/CodeGen.tex Tue Dec 17 11:05:41 2002 +0100
@@ -113,6 +113,7 @@
instruction sequences:%
\end{isamarkuptxt}%
\isamarkuptrue%
+\isanewline
\isamarkupfalse%
\isacommand{lemma}\ exec{\isacharunderscore}app{\isacharbrackleft}simp{\isacharbrackright}{\isacharcolon}\isanewline
\ \ {\isachardoublequote}{\isasymforall}vs{\isachardot}\ exec\ {\isacharparenleft}xs{\isacharat}ys{\isacharparenright}\ s\ vs\ {\isacharequal}\ exec\ ys\ s\ {\isacharparenleft}exec\ xs\ s\ vs{\isacharparenright}{\isachardoublequote}\isamarkupfalse%
@@ -136,6 +137,7 @@
\end{isamarkuptext}%
\isamarkuptrue%
\isamarkupfalse%
+\isanewline
\isamarkupfalse%
\isacommand{apply}{\isacharparenleft}induct{\isacharunderscore}tac\ xs{\isacharcomma}\ simp{\isacharunderscore}all\ split{\isacharcolon}\ instr{\isachardot}split{\isacharparenright}\isamarkupfalse%
\isamarkupfalse%
@@ -153,6 +155,7 @@
\isamarkuptrue%
\isamarkupfalse%
\isamarkupfalse%
+\isanewline
\isamarkupfalse%
\end{isabellebody}%
%%% Local Variables: