--- a/doc-src/Tutorial/appendix.tex Thu Nov 12 11:27:36 1998 +0100
+++ b/doc-src/Tutorial/appendix.tex Thu Nov 12 16:45:17 1998 +0100
@@ -7,39 +7,40 @@
\begin{center}
\begin{tabular}{|lllll|}
\hline
+\texttt{and} &
\texttt{arities} &
\texttt{assumes} &
\texttt{axclass} &
-\texttt{binder} &
-\texttt{classes} \\
+\texttt{binder} \\
+\texttt{classes} &
\texttt{constdefs} &
\texttt{consts} &
\texttt{default} &
-\texttt{defines} &
-\texttt{defs} \\
+\texttt{defines} \\
+\texttt{defs} &
\texttt{end} &
\texttt{fixes} &
\texttt{global} &
-\texttt{inductive} &
-\texttt{infixl} \\
+\texttt{inductive} \\
+\texttt{infixl} &
\texttt{infixr} &
\texttt{instance} &
\texttt{local} &
-\texttt{locale} &
-\texttt{mixfix} \\
+\texttt{locale} \\
+\texttt{mixfix} &
\texttt{ML} &
\texttt{MLtext} &
\texttt{nonterminals} &
-\texttt{oracle} &
-\texttt{output} \\
+\texttt{oracle} \\
+\texttt{output} &
\texttt{path} &
\texttt{primrec} &
\texttt{rules} &
-\texttt{setup} &
-\texttt{syntax} \\
+\texttt{setup} \\
+\texttt{syntax} &
\texttt{translations} &
\texttt{typedef} &
-\texttt{types} &&\\
+\texttt{types} &\\
\hline
\end{tabular}
\end{center}