Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
added label
authorhaftmann
Sat, 27 Nov 2010 18:51:04 +0100
changeset 40751 6975c4d83ffd
parent 40740 6bff052e4f48
child 40752 aae9a020fa77
added label
doc-src/Codegen/Thy/Evaluation.thy file | annotate | diff | comparison | revisions 
--- a/doc-src/Codegen/Thy/Evaluation.thy	Sat Nov 27 12:02:19 2010 +0100
+++ b/doc-src/Codegen/Thy/Evaluation.thy	Sat Nov 27 18:51:04 2010 +0100
@@ -2,7 +2,7 @@
 imports Setup
 begin
 
-section {* Evaluation *}
+section {* Evaluation \label{sec:evaluation} *}
 
 text {*
   Recalling \secref{sec:principle}, code generation turns a system of
isabelle