trivial update

--- a/doc-src/Intro/advanced.tex	Tue Jul 25 16:43:55 1995 +0200
+++ b/doc-src/Intro/advanced.tex	Tue Jul 25 16:50:48 1995 +0200
@@ -339,7 +339,7 @@
 arities      {\it arity declarations}
 consts       {\it constant declarations}
 translations {\it translation declarations}
-defs         {\it constant definitions}
+defs         {\it definitions}
 rules        {\it rule declarations}
 end
 ML           {\it ML code}