--- 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