doc-src/TutorialI/Advanced/document/WFrec.tex

--- a/doc-src/TutorialI/Advanced/document/WFrec.tex	Tue May 07 14:28:34 2002 +0200
+++ b/doc-src/TutorialI/Advanced/document/WFrec.tex	Tue May 07 15:03:50 2002 +0200
@@ -121,7 +121,7 @@
 \noindent
 
 Armed with this lemma, we use the \attrdx{recdef_wf} attribute to attach a
-crucial hint to our definition:%
+crucial hint\cmmdx{hints} to our definition:%
 \end{isamarkuptext}%
 \isamarkuptrue%
 \isamarkupfalse%