| changeset 20447 | 5b75f1c4d7d6 |
| parent 20064 | 92aad017b847 |
| child 20451 | 27ea2ba48fa3 |
--- 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% %