doc-src/IsarRef/Thy/Symbols.thy

--- a/doc-src/IsarRef/Thy/Symbols.thy	Wed Mar 04 10:43:39 2009 +0100
+++ b/doc-src/IsarRef/Thy/Symbols.thy	Wed Mar 04 10:45:52 2009 +0100
@@ -1,10 +1,8 @@
-(* $Id$ *)
-
 theory Symbols
 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