changeset 20447 | 5b75f1c4d7d6 |
parent 20064 | 92aad017b847 |
child 20451 | 27ea2ba48fa3 |
--- a/doc-src/IsarImplementation/Thy/integration.thy Thu Aug 31 14:36:48 2006 +0200 +++ b/doc-src/IsarImplementation/Thy/integration.thy Thu Aug 31 14:53:55 2006 +0200 @@ -5,7 +5,7 @@ chapter {* System integration *} -section {* Isar toplevel *} +section {* Isar toplevel \label{sec:isar-toplevel} *} text {* The Isar toplevel may be considered the centeral hub of the Isabelle/Isar system, where all key components and sub-systems are