doc-src/IsarRef/Thy/Outer_Syntax.thy

--- a/doc-src/IsarRef/Thy/Outer_Syntax.thy	Sat Mar 24 20:24:16 2012 +0100
+++ b/doc-src/IsarRef/Thy/Outer_Syntax.thy	Mon Mar 26 15:38:09 2012 +0200
@@ -2,7 +2,7 @@
 imports Base Main
 begin
 
-chapter {* Outer syntax --- the theory language *}
+chapter {* Outer syntax --- the theory language \label{ch:outer-syntax} *}
 
 text {*
   The rather generic framework of Isabelle/Isar syntax emerges from