doc-src/IsarImplementation/Thy/document/Local_Theory.tex

--- a/doc-src/IsarImplementation/Thy/document/Local_Theory.tex	Fri Feb 05 11:51:52 2010 +0100
+++ b/doc-src/IsarImplementation/Thy/document/Local_Theory.tex	Fri Feb 05 14:39:02 2010 +0100
@@ -18,7 +18,7 @@
 %
 \endisadelimtheory
 %
-\isamarkupchapter{Local theory specifications%
+\isamarkupchapter{Local theory specifications \label{ch:local-theory}%
 }
 \isamarkuptrue%
 %