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