changeset 1185 | 9968989790e2 |
parent 1084 | 502a61cbf37b |
child 1366 | 3f3c25d3ec04 |
--- 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}