--- 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