1.1 --- a/doc-src/System/symbols.tex	Wed Jan 24 20:55:29 2001 +0100
     1.2 +++ b/doc-src/System/symbols.tex	Wed Jan 24 20:56:12 2001 +0100
     1.3 @@ -7,8 +7,8 @@
     1.4  represented in source text as \verb,\<,$name$\verb,>, (where $name$ may be any
     1.5  identifier).  It is left to front-end tools how these symbols are presented to
     1.6  the user.  The following predefined standard symbols are available by default
     1.7 -for Isabelle document output; they are also supported by Proof~General when
     1.8 -used together with the X-Symbol package.
     1.9 +for Isabelle document output; most of these are also supported by
    1.10 +Proof~General when used together with the X-Symbol package.
    1.11  
    1.12  \begin{center}
    1.13    \input{syms}