--- a/doc-src/TutorialI/Recdef/document/simplification.tex Mon Mar 19 13:05:56 2001 +0100
+++ b/doc-src/TutorialI/Recdef/document/simplification.tex Mon Mar 19 13:28:06 2001 +0100
@@ -44,11 +44,10 @@
simplification steps. Fortunately, this problem can be avoided in many
different ways.
-The most radical solution is to disable the offending
-\isa{split{\isacharunderscore}if} as shown in the section on case splits in
-\S\ref{sec:Simplification}. However, we do not recommend this because it
-means you will often have to invoke the rule explicitly when \isa{if} is
-involved.
+The most radical solution is to disable the offending \isa{split{\isacharunderscore}if}
+as shown in \S\ref{sec:AutoCaseSplits}. However, we do not recommend this
+because it means you will often have to invoke the rule explicitly when
+\isa{if} is involved.
If possible, the definition should be given by pattern matching on the left
rather than \isa{if} on the right. In the case of \isa{gcd} the