| changeset 13305 | f88d0c363582 |
| parent 12582 | b85acd66f715 |
| child 15358 | 26c501c5024d |
--- a/doc-src/TutorialI/fp.tex Fri Jul 05 11:47:44 2002 +0200 +++ b/doc-src/TutorialI/fp.tex Fri Jul 05 17:48:05 2002 +0200 @@ -377,7 +377,9 @@ \index{simplification|)} \input{Misc/document/Itrev.tex} - +\begin{exercise} +\input{Misc/document/Plus.tex}% +\end{exercise} \begin{exercise} \input{Misc/document/Tree2.tex}% \end{exercise}