
diff -r 43ef6c6dd906 -r f88d0c363582 doc-src/TutorialI/fp.tex
--- 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}




