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