# HG changeset patch
# User wenzelm
# Date 1234208230 -3600
# Node ID d2597c4f7e5c55aadae971bc57f2fd4d66182229
# Parent  cf48beb23a70dad07744fb89cec7ce67990fbaf8
tuned chapter heading;

diff -r cf48beb23a70 -r d2597c4f7e5c doc-src/IsarRef/Thy/Outer_Syntax.thy
--- 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.
 *}
 
 
diff -r cf48beb23a70 -r d2597c4f7e5c doc-src/IsarRef/Thy/Symbols.thy
--- 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