--- a/doc-src/IsarRef/Thy/Outer_Syntax.thy Mon Feb 09 20:36:53 2009 +0100
+++ b/doc-src/IsarRef/Thy/Outer_Syntax.thy Mon Feb 09 20:37:10 2009 +0100
@@ -170,10 +170,10 @@
Isabelle as @{verbatim \<forall>}. There are infinitely many Isabelle
symbols like this, although proper presentation is left to front-end
tools such as {\LaTeX} or Proof~General with the X-Symbol package.
- A list of standard Isabelle symbols that work well with these tools
- is given in \appref{app:symbols}. Note that @{verbatim "\<lambda>"} does
- not belong to the @{text letter} category, since it is already used
- differently in the Pure term language.
+ A list of predefined Isabelle symbols that work well with these
+ tools is given in \appref{app:symbols}. Note that @{verbatim "\<lambda>"}
+ does not belong to the @{text letter} category, since it is already
+ used differently in the Pure term language.
*}
--- a/doc-src/IsarRef/Thy/Symbols.thy Mon Feb 09 20:36:53 2009 +0100
+++ b/doc-src/IsarRef/Thy/Symbols.thy Mon Feb 09 20:37:10 2009 +0100
@@ -4,7 +4,7 @@
imports Pure
begin
-chapter {* Standard Isabelle symbols \label{app:symbols} *}
+chapter {* Predefined Isabelle symbols \label{app:symbols} *}
text {*
Isabelle supports an infinite number of non-ASCII symbols, which are