diff -r 2626d4e37341 -r 9554ce1c2e54 doc-src/TutorialI/Advanced/document/simp.tex
--- 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