1.1 --- a/doc-src/TutorialI/appendix.tex	Wed Dec 13 09:32:55 2000 +0100
     1.2 +++ b/doc-src/TutorialI/appendix.tex	Wed Dec 13 09:39:53 2000 +0100
     1.3 @@ -96,34 +96,43 @@
     1.4  \label{fig:ascii}
     1.5  \end{figure}\indexbold{ASCII symbols}
     1.6  
     1.7 -
     1.8  \begin{figure}[htbp]
     1.9  \begin{center}
    1.10 -\begin{tabular}{|lllll|}
    1.11 +\begin{tabular}{|lllllllll|}
    1.12  \hline
    1.13  \texttt{ALL} &
    1.14 +\texttt{BIT} &
    1.15 +\texttt{CHR} &
    1.16 +\texttt{EX} &
    1.17 +\texttt{GOAL} &
    1.18 +\texttt{INT} &
    1.19 +\texttt{Int} &
    1.20 +\texttt{LEAST} &
    1.21 +\texttt{O} \\
    1.22 +\texttt{OFCLASS} &
    1.23 +\texttt{PI} &
    1.24 +\texttt{PROP} &
    1.25 +\texttt{SIGMA} &
    1.26 +\texttt{SOME} &
    1.27 +\texttt{TYPE} &
    1.28 +\texttt{UN} &
    1.29 +\texttt{Un} &\\
    1.30  \texttt{case} &
    1.31 +\texttt{choose} &
    1.32  \texttt{div} &
    1.33  \texttt{dvd} &
    1.34 -\texttt{else} \\
    1.35 -\texttt{EX} &
    1.36 +\texttt{else} &
    1.37 +\texttt{funcset} &
    1.38  \texttt{if} &
    1.39  \texttt{in} &
    1.40 -\texttt{INT} &
    1.41 -\texttt{Int} \\
    1.42 -\texttt{LEAST} &
    1.43 +\texttt{lam} \\
    1.44  \texttt{let} &
    1.45 +\texttt{mem} &
    1.46  \texttt{mod} &
    1.47 -\texttt{O} &
    1.48 -\texttt{o} \\
    1.49 +\texttt{o} &
    1.50  \texttt{of} &
    1.51  \texttt{op} &
    1.52 -\texttt{PROP} &
    1.53 -\texttt{SIGMA} &
    1.54 -\texttt{then} \\
    1.55 -\texttt{Times} &
    1.56 -\texttt{UN} &
    1.57 -\texttt{Un} &&\\
    1.58 +\texttt{then}&&\\
    1.59  \hline
    1.60  \end{tabular}
    1.61  \end{center}