1.1 --- a/doc-src/TutorialI/appendix.tex	Mon Dec 10 20:57:44 2001 +0100
     1.2 +++ b/doc-src/TutorialI/appendix.tex	Mon Dec 10 20:58:15 2001 +0100
     1.3 @@ -121,7 +121,7 @@
     1.4  \texttt{BIT} &
     1.5  \texttt{CHR} &
     1.6  \texttt{EX} &
     1.7 -\texttt{GOAL} &
     1.8 +\texttt{GREATEST} &
     1.9  \texttt{INT} &
    1.10  \texttt{Int} &
    1.11  \texttt{LEAST} &
    1.12 @@ -131,9 +131,11 @@
    1.13  \texttt{PROP} &
    1.14  \texttt{SIGMA} &
    1.15  \texttt{SOME} &
    1.16 +\texttt{THE} &
    1.17  \texttt{TYPE} &
    1.18  \texttt{UN} &
    1.19 -\texttt{Un} &\\
    1.20 +\texttt{Un} \\
    1.21 +\texttt{WRT} &
    1.22  \texttt{case} &
    1.23  \texttt{choose} &
    1.24  \texttt{div} &
    1.25 @@ -141,15 +143,14 @@
    1.26  \texttt{else} &
    1.27  \texttt{funcset} &
    1.28  \texttt{if} &
    1.29 -\texttt{in} &
    1.30 -\texttt{lam} \\
    1.31 +\texttt{in} \\
    1.32  \texttt{let} &
    1.33  \texttt{mem} &
    1.34  \texttt{mod} &
    1.35  \texttt{o} &
    1.36  \texttt{of} &
    1.37  \texttt{op} &
    1.38 -\texttt{then}&&\\
    1.39 +\texttt{then} &&\\
    1.40  \hline
    1.41  \end{tabular}
    1.42  \end{center}