--- a/src/HOL/IsaMakefile Wed Sep 23 16:20:13 2009 +0200
+++ b/src/HOL/IsaMakefile Thu Sep 24 08:28:27 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 \