doc-src/System/symbols.tex
changeset 10974 f23a58cf12a4
parent 10580 930ac2bfa637
child 11573 4f85af77038f
     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}