
diff -r 419116f1157a -r e23770bc97c8 doc-src/IsarRef/Thy/Symbols.thy
--- a/doc-src/IsarRef/Thy/Symbols.thy	Thu Feb 26 08:44:44 2009 -0800
+++ b/doc-src/IsarRef/Thy/Symbols.thy	Thu Feb 26 08:48:33 2009 -0800
@@ -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




