
diff -r f21c8ecbf8d5 -r 83864b045a72 doc-src/IsarRef/Thy/Outer_Syntax.thy
--- a/doc-src/IsarRef/Thy/Outer_Syntax.thy	Thu Feb 02 17:52:16 2012 +0100
+++ b/doc-src/IsarRef/Thy/Outer_Syntax.thy	Thu Feb 02 18:11:42 2012 +0100
@@ -2,7 +2,7 @@
 imports Base Main
 begin
 
-chapter {* Outer syntax *}
+chapter {* Outer syntax --- the theory language *}
 
 text {*
   The rather generic framework of Isabelle/Isar syntax emerges from




