changeset 40989 | 6975c4d83ffd |
parent 40591 | 1ef7ee8dd165 |
child 41432 | 5c6f44d22f51 |
1.1 --- a/doc-src/Codegen/Thy/Evaluation.thy Sat Nov 27 12:02:19 2010 +0100 1.2 +++ b/doc-src/Codegen/Thy/Evaluation.thy Sat Nov 27 18:51:04 2010 +0100 1.3 @@ -2,7 +2,7 @@ 1.4 imports Setup 1.5 begin 1.6 1.7 -section {* Evaluation *} 1.8 +section {* Evaluation \label{sec:evaluation} *} 1.9 1.10 text {* 1.11 Recalling \secref{sec:principle}, code generation turns a system of