doc-src/IsarImplementation/Thy/Local_Theory.thy

--- a/doc-src/IsarImplementation/Thy/Local_Theory.thy	Sun Jan 31 22:08:25 2010 +0100
+++ b/doc-src/IsarImplementation/Thy/Local_Theory.thy	Mon Feb 01 22:46:12 2010 +0100
@@ -2,7 +2,7 @@
 imports Base
 begin
 
-chapter {* Local theory specifications *}
+chapter {* Local theory specifications \label{ch:local-theory} *}
 
 text {*
   A \emph{local theory} combines aspects of both theory and proof