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.
src/HOL/IsaMakefile
changeset 32657 5f13912245ff
parent 32636 55a0be42327c
child 32674 b629fbcc5313 
--- a/src/HOL/IsaMakefile	Wed Sep 23 13:42:53 2009 +0200
+++ b/src/HOL/IsaMakefile	Wed Sep 23 14:00:12 2009 +0200
@@ -210,7 +210,7 @@
 
 MAIN_DEPENDENCIES = $(PLAIN_DEPENDENCIES) \
   ATP_Linkup.thy \
-  Code_Eval.thy \
+  Code_Evaluation.thy \
   Code_Numeral.thy \
   Equiv_Relations.thy \
   Groebner_Basis.thy \
isabelle