
diff -r 354f4914811f -r 295bb029170c doc-src/Tutorial/appendix.tex
--- 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}




