# HG changeset patch
# User lcp
# Date 799511439 -7200
# Node ID b9594fe65d89507ec8af426a61fe4108ba7e0daf
# Parent  74921c7613e7b9627587e769e0313ba0b5fe8f2b
trivial rewording

diff -r 74921c7613e7 -r b9594fe65d89 doc-src/Ref/simplifier.tex
--- 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