# HG changeset patch
# User lcp
# Date 806683848 -7200
# Node ID 9968989790e2c4baa4e4e58141b849a63a771170
# Parent  94ada3b54caac3b14839b8bb7458a01ec88740ca
trivial update

diff -r 94ada3b54caa -r 9968989790e2 doc-src/Intro/advanced.tex
--- 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}