--- a/doc-src/TutorialI/appendix.tex Mon Dec 10 20:57:44 2001 +0100
+++ b/doc-src/TutorialI/appendix.tex Mon Dec 10 20:58:15 2001 +0100
@@ -121,7 +121,7 @@
\texttt{BIT} &
\texttt{CHR} &
\texttt{EX} &
-\texttt{GOAL} &
+\texttt{GREATEST} &
\texttt{INT} &
\texttt{Int} &
\texttt{LEAST} &
@@ -131,9 +131,11 @@
\texttt{PROP} &
\texttt{SIGMA} &
\texttt{SOME} &
+\texttt{THE} &
\texttt{TYPE} &
\texttt{UN} &
-\texttt{Un} &\\
+\texttt{Un} \\
+\texttt{WRT} &
\texttt{case} &
\texttt{choose} &
\texttt{div} &
@@ -141,15 +143,14 @@
\texttt{else} &
\texttt{funcset} &
\texttt{if} &
-\texttt{in} &
-\texttt{lam} \\
+\texttt{in} \\
\texttt{let} &
\texttt{mem} &
\texttt{mod} &
\texttt{o} &
\texttt{of} &
\texttt{op} &
-\texttt{then}&&\\
+\texttt{then} &&\\
\hline
\end{tabular}
\end{center}