1.1 --- a/doc-src/TutorialI/fp.tex	Tue Dec 11 17:07:45 2001 +0100
     1.2 +++ b/doc-src/TutorialI/fp.tex	Wed Dec 12 09:04:20 2001 +0100
     1.3 @@ -527,7 +527,6 @@
     1.4  
     1.5  \subsection{Simplification and Recursive Functions}
     1.6  \label{sec:recdef-simplification}
     1.7 -
     1.8  \input{Recdef/document/simplification.tex}
     1.9  
    1.10  \subsection{Induction and Recursive Functions}