diff -r 5716e174b591 -r 14b96e3bd4ab doc-src/Intro/advanced.tex
--- a/doc-src/Intro/advanced.tex	Mon Jan 02 12:14:26 1995 +0100
+++ b/doc-src/Intro/advanced.tex	Mon Jan 02 12:16:12 1995 +0100
@@ -338,8 +338,8 @@
 types        {\it type declarations and synonyms}
 arities      {\it arity declarations}
 consts       {\it constant declarations}
+translations {\it translation declarations}
 rules        {\it rule declarations}
-translations {\it translation declarations}
 end
 ML           {\it ML code}
 \end{ttbox}
@@ -453,7 +453,7 @@
 \begin{ttbox}
 types   \(tids@1\) \(id@1\)
         \vdots
-        \(tids@1\) \(id@n\)
+        \(tids@n\) \(id@n\)
 \end{ttbox}
 where $id@1$, \ldots, $id@n$ are identifiers and $tids@1$, \ldots, $tids@n$
 are type argument lists as shown in the example above.  It declares each