--- a/doc-src/TutorialI/Misc/document/simp.tex Tue Dec 11 17:07:45 2001 +0100
+++ b/doc-src/TutorialI/Misc/document/simp.tex Wed Dec 12 09:04:20 2001 +0100
@@ -232,7 +232,12 @@
occurrences of $f$ with at least two arguments. This may be helpful for unfolding
$f$ selectively, but it may also get in the way. Defining
$f$~\isasymequiv~\isasymlambda$x\,y.\;t$ allows to unfold all occurrences of $f$.
-\end{warn}%
+\end{warn}
+
+There is also the special method \isa{unfold}\index{*unfold (method)|bold}
+which merely unfolds
+one or several definitions, as in \isacommand{apply}\isa{(unfold xor_def)}.
+This is can be useful if \isa{simp} does too much.%
\end{isamarkuptext}%
\isamarkuptrue%
%