1.1 --- a/doc-src/TutorialI/appendix.tex	Tue Feb 20 10:18:26 2001 +0100
     1.2 +++ b/doc-src/TutorialI/appendix.tex	Tue Feb 20 10:37:12 2001 +0100
     1.3 @@ -53,7 +53,7 @@
     1.4  \ttEXU\index{EXX@\ttEXU|bold}, \ttuniquex\index{$HOL0ExU@\ttuniquex|bold} &
     1.5  \verb$\<exists>!$\\
     1.6  \indexboldpos{\isasymepsilon}{$HOL0ExSome} &
     1.7 -\ttindexbold{SOME} &
     1.8 +\ttindexbold{SOME}, \texttt{\at}\index{$HOL2list@\texttt{\at}} &
     1.9  \verb$\<epsilon>$\\
    1.10  \indexboldpos{\isasymcirc}{$HOL1} &
    1.11  \ttindexbold{o} &