
diff -r 59d5fe89f787 -r 9712294e60b9 doc-src/Tutorial/appendix.tex
--- 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}




