doc-src/Intro/advanced.tex

 classes      {\it class declarations}
 default      {\it sort}
 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}
 This declares the theory $T$ to extend the existing theories
 $S@1$,~\ldots,~$S@n$.  It may declare new classes, types, arities

 
 The {\bf type declaration part} has the general form
 \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
 $id@i$ as a type constructor with the specified number of argument places.