--- a/doc-src/TutorialI/Advanced/document/simp.tex Thu Oct 19 21:25:15 2000 +0200
+++ b/doc-src/TutorialI/Advanced/document/simp.tex Fri Oct 20 08:46:41 2000 +0200
@@ -97,10 +97,10 @@
simplifier recognizes their special status automatically.
Permutative rewrite rules are most effective in the case of
-associative-commutative operators. (Associativity by itself is not
-permutative.) When dealing with an AC-operator~$f$, keep the
+associative-commutative functions. (Associativity by itself is not
+permutative.) When dealing with an AC-function~$f$, keep the
following points in mind:
-\begin{itemize}\index{associative-commutative operators}
+\begin{itemize}\index{associative-commutative function}
\item The associative law must always be oriented from left to right,
namely $f(f(x,y),z) = f(x,f(y,z))$. The opposite orientation, if