1.1 --- a/doc-src/TutorialI/Documents/document/Documents.tex	Mon Jan 12 16:45:35 2004 +0100
     1.2 +++ b/doc-src/TutorialI/Documents/document/Documents.tex	Mon Jan 12 16:51:45 2004 +0100
     1.3 @@ -799,7 +799,7 @@
     1.4  \noindent Here the real source of the proof has been as follows:
     1.5  
     1.6  \begin{verbatim}
     1.7 -  by (auto(*<*)simp add: int_less_le(*>*))
     1.8 +  by (auto(*<*)simp add: zero_less_mult_iff(*>*))
     1.9  \end{verbatim}
    1.10  %(*
    1.11