author | nipkow |

Thu Jun 16 11:10:51 2005 +0200 (2005-06-16) | |

changeset 16409 | a79f8993011b |

parent 16408 | 9bbaa5695691 |

child 16410 | d1a436d92d31 |

*** empty log message ***

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