Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
doc-src/IsarImplementation/Thy/integration.thy
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
isabelle