author | paulson |
Tue, 10 Oct 2000 12:31:00 +0200 | |
changeset 10181 | c07860c826c5 |
parent 10180 | 149878bae19c |
child 10182 | 5413bcce1482 |
--- 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}