--- a/doc-src/TutorialI/appendix.tex Wed Dec 13 09:32:55 2000 +0100
+++ b/doc-src/TutorialI/appendix.tex Wed Dec 13 09:39:53 2000 +0100
@@ -96,34 +96,43 @@
\label{fig:ascii}
\end{figure}\indexbold{ASCII symbols}
-
\begin{figure}[htbp]
\begin{center}
-\begin{tabular}{|lllll|}
+\begin{tabular}{|lllllllll|}
\hline
\texttt{ALL} &
+\texttt{BIT} &
+\texttt{CHR} &
+\texttt{EX} &
+\texttt{GOAL} &
+\texttt{INT} &
+\texttt{Int} &
+\texttt{LEAST} &
+\texttt{O} \\
+\texttt{OFCLASS} &
+\texttt{PI} &
+\texttt{PROP} &
+\texttt{SIGMA} &
+\texttt{SOME} &
+\texttt{TYPE} &
+\texttt{UN} &
+\texttt{Un} &\\
\texttt{case} &
+\texttt{choose} &
\texttt{div} &
\texttt{dvd} &
-\texttt{else} \\
-\texttt{EX} &
+\texttt{else} &
+\texttt{funcset} &
\texttt{if} &
\texttt{in} &
-\texttt{INT} &
-\texttt{Int} \\
-\texttt{LEAST} &
+\texttt{lam} \\
\texttt{let} &
+\texttt{mem} &
\texttt{mod} &
-\texttt{O} &
-\texttt{o} \\
+\texttt{o} &
\texttt{of} &
\texttt{op} &
-\texttt{PROP} &
-\texttt{SIGMA} &
-\texttt{then} \\
-\texttt{Times} &
-\texttt{UN} &
-\texttt{Un} &&\\
+\texttt{then}&&\\
\hline
\end{tabular}
\end{center}