*** empty log message ***
authornipkow
Thu Jun 16 11:10:51 2005 +0200 (2005-06-16)
changeset 16409a79f8993011b
parent 16408 9bbaa5695691
child 16410 d1a436d92d31
*** empty log message ***
doc-src/TutorialI/ToyList/document/ToyList.tex
     1.1 --- a/doc-src/TutorialI/ToyList/document/ToyList.tex	Thu Jun 16 10:42:55 2005 +0200
     1.2 +++ b/doc-src/TutorialI/ToyList/document/ToyList.tex	Thu Jun 16 11:10:51 2005 +0200
     1.3 @@ -124,10 +124,10 @@
     1.4  \section{An Introductory Proof}
     1.5  \label{sec:intro-proof}
     1.6  
     1.7 -Assuming you have input the declarations and definitions of \texttt{ToyList}
     1.8 -presented so far, we are ready to prove a few simple theorems. This will
     1.9 -illustrate not just the basic proof commands but also the typical proof
    1.10 -process.
    1.11 +Assuming you have processed the declarations and definitions of
    1.12 +\texttt{ToyList} presented so far, we are ready to prove a few simple
    1.13 +theorems. This will illustrate not just the basic proof commands but
    1.14 +also the typical proof process.
    1.15  
    1.16  \subsubsection*{Main Goal.}
    1.17