--- a/doc-src/Tutorial/appendix.tex Tue Sep 29 12:01:12 1998 +0200
+++ b/doc-src/Tutorial/appendix.tex Tue Sep 29 12:07:31 1998 +0200
@@ -5,34 +5,41 @@
\begin{figure}[htbp]
\begin{center}
-\begin{tabular}{|llll|}
+\begin{tabular}{|lllll|}
\hline
\texttt{arities} &
+\texttt{assumes} &
+\texttt{axclass} &
\texttt{binder} &
-\texttt{classes} &
-\texttt{consts} \\
+\texttt{classes} \\
+\texttt{constdefs} &
+\texttt{consts} &
\texttt{default} &
-\texttt{defs} &
+\texttt{defines} &
+\texttt{defs} \\
\texttt{end} &
-\texttt{global} \\
-\texttt{infixl} &
+\texttt{fixes} &
+\texttt{global} &
+\texttt{inductive} &
+\texttt{infixl} \\
\texttt{infixr} &
\texttt{instance} &
-\texttt{local} \\
-\texttt{mixfix} &
+\texttt{local} &
+\texttt{locale} &
+\texttt{mixfix} \\
\texttt{ML} &
\texttt{MLtext} &
-\texttt{nonterminals} \\
+\texttt{nonterminals} &
\texttt{oracle} &
-\texttt{output} &
+\texttt{output} \\
\texttt{path} &
-\texttt{rules} \\
+\texttt{primrec} &
+\texttt{rules} &
\texttt{setup} &
-\texttt{syntax} &
+\texttt{syntax} \\
\texttt{translations} &
-\texttt{types} \\
-\texttt{constdefs} &
-\texttt{axclass} &&\\
+\texttt{typedef} &
+\texttt{types} &&\\
\hline
\end{tabular}
\end{center}