--- a/doc-src/TutorialI/Misc/document/arith1.tex Fri Aug 04 23:02:11 2000 +0200
+++ b/doc-src/TutorialI/Misc/document/arith1.tex Sun Aug 06 15:26:53 2000 +0200
@@ -1,5 +1,5 @@
\begin{isabelle}%
-\isacommand{lemma}~{"}{\isasymlbrakk}~{\isasymnot}~m~<~n;~m~<~n+1~{\isasymrbrakk}~{\isasymLongrightarrow}~m~=~n{"}\isanewline
+\isacommand{lemma}\ {"}{\isasymlbrakk}\ {\isasymnot}\ m\ <\ n;\ m\ <\ n+1\ {\isasymrbrakk}\ {\isasymLongrightarrow}\ m\ =\ n{"}\isanewline
\end{isabelle}%
%%% Local Variables:
%%% mode: latex