| changeset 10181 | c07860c826c5 |
| parent 9933 | 9feb1e0c4cb3 |
| child 10237 | 875bf54b5d74 |
--- 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}