
diff -r cbfc53e45476 -r a8c219e76ae0 doc-src/TutorialI/appendix.tex
--- 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}




