--- a/doc-src/Ref/simplifier.tex Wed May 03 16:10:41 1995 +0200
+++ b/doc-src/Ref/simplifier.tex Wed May 03 16:30:39 1995 +0200
@@ -43,8 +43,8 @@
\begin{warn}
-The simplifier will happily accept all ``normal'' rewrite rules, i.e.\ those
-where all unknowns are of base type. Hence ${\Var{i}+(\Var{j}+\Var{k})} =
+The simplifier will accept all standard rewrite rules: those
+where all unknowns are of base type. Hence ${\Var{i}+(\Var{j}+\Var{k})} =
{(\Var{i}+\Var{j})+\Var{k}}$ is ok.
It will also deal gracefully with all rules whose left-hand sides are