changeset 7587 | ee0b835ca8fa |
parent 7569 | 1d9263172b54 |
child 7848 | 6ddcc24038e1 |
--- a/doc-src/Tutorial/fp.tex Thu Sep 23 13:09:39 1999 +0200 +++ b/doc-src/Tutorial/fp.tex Thu Sep 23 14:39:39 1999 +0200 @@ -1666,7 +1666,7 @@ Slightly more interesting is the insertion of a fixed element between any two elements of a list: \begin{ttbox} -\input{Recdef/sep1}\end{ttbox} +\input{Recdef/sep}\end{ttbox} This time the measure is the length of the list, which decreases with the recursive call; the first component of the argument tuple is irrelevant.