diff -r 149878bae19c -r c07860c826c5 doc-src/TutorialI/fp.tex
--- a/doc-src/TutorialI/fp.tex	Mon Oct 09 20:05:49 2000 +0200
+++ b/doc-src/TutorialI/fp.tex	Tue Oct 10 12:31:00 2000 +0200
@@ -559,6 +559,7 @@
 \input{Recdef/document/termination.tex}
 
 \subsection{Simplification with recdef}
+\label{sec:recdef-simplification}
 
 \input{Recdef/document/simplification.tex}