| changeset 12473 | f41e477576b9 |
| parent 12332 | aea72a834c85 |
| child 12582 | b85acd66f715 |
--- a/doc-src/TutorialI/fp.tex Tue Dec 11 17:07:45 2001 +0100 +++ b/doc-src/TutorialI/fp.tex Wed Dec 12 09:04:20 2001 +0100 @@ -527,7 +527,6 @@ \subsection{Simplification and Recursive Functions} \label{sec:recdef-simplification} - \input{Recdef/document/simplification.tex} \subsection{Induction and Recursive Functions}