--- a/doc-src/TutorialI/Types/document/Numbers.tex Tue Apr 19 13:34:50 2005 +0200
+++ b/doc-src/TutorialI/Types/document/Numbers.tex Tue Apr 19 13:35:01 2005 +0200
@@ -317,11 +317,6 @@
\isamarkuptrue%
\isamarkupfalse%
\isamarkuptrue%
-\isanewline
-\isamarkupfalse%
-\isacommand{lemma}\ {\isachardoublequote}{\isacharparenleft}{\isadigit{3}}{\isacharslash}{\isadigit{4}}{\isacharparenright}\ {\isacharasterisk}\ {\isacharparenleft}{\isadigit{1}}{\isadigit{0}}{\isacharcircum}{\isadigit{1}}{\isadigit{5}}{\isacharparenright}\ {\isacharless}\ {\isacharparenleft}x\ {\isacharcolon}{\isacharcolon}\ real{\isacharparenright}{\isachardoublequote}\isanewline
-\isamarkupfalse%
-\isamarkupfalse%
\isamarkupfalse%
%
\begin{isamarkuptext}%