diff -r 7e616709bca2 -r 5b75f1c4d7d6 doc-src/IsarImplementation/Thy/document/integration.tex
--- a/doc-src/IsarImplementation/Thy/document/integration.tex	Thu Aug 31 14:36:48 2006 +0200
+++ b/doc-src/IsarImplementation/Thy/document/integration.tex	Thu Aug 31 14:53:55 2006 +0200
@@ -23,7 +23,7 @@
 }
 \isamarkuptrue%
 %
-\isamarkupsection{Isar toplevel%
+\isamarkupsection{Isar toplevel \label{sec:isar-toplevel}%
 }
 \isamarkuptrue%
 %