1.1 --- a/doc-src/Ref/ref.ind	Mon Jan 12 17:48:55 1998 +0100
     1.2 +++ b/doc-src/Ref/ref.ind	Mon Jan 12 17:49:12 1998 +0100
     1.3 @@ -4,8 +4,6 @@
     1.4      \subitem in main goal, 8
     1.5    \item {\tt\$}, \bold{60}, 86
     1.6    \item {\tt\%} symbol, 69
     1.7 -  \item *
     1.8 -    \subitem claset, 137
     1.9    \item {\tt ::} symbol, 69, 70
    1.10    \item {\tt ==} symbol, 69
    1.11    \item {\tt ==>} symbol, 69