diff -r f3b4fde34cd1 -r a724b90f951e doc-src/IsarImplementation/Thy/Syntax.thy
--- a/doc-src/IsarImplementation/Thy/Syntax.thy	Mon Oct 18 15:35:20 2010 +0100
+++ b/doc-src/IsarImplementation/Thy/Syntax.thy	Mon Oct 18 16:23:55 2010 +0100
@@ -7,7 +7,7 @@
 text FIXME
 
 
-section {* Parsing and printing *}
+section {* Parsing and printing \label{sec:parse-print} *}
 
 text FIXME