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/Codegen/codegen.tex
changeset 38510 ec0408c7328b
parent 38405 7935b334893e
child 38813 f50f0802ba99 
--- a/doc-src/Codegen/codegen.tex	Wed Aug 18 10:07:57 2010 +0200
+++ b/doc-src/Codegen/codegen.tex	Wed Aug 18 11:18:23 2010 +0200
@@ -35,6 +35,7 @@
 \input{Thy/document/Refinement.tex}
 \input{Thy/document/Inductive_Predicate.tex}
 \input{Thy/document/Adaptation.tex}
+\input{Thy/document/Evaluation.tex}
 \input{Thy/document/Further.tex}
 
 \begingroup
isabelle