--- a/src/HOL/IsaMakefile Thu Mar 11 16:56:22 2010 +0100
+++ b/src/HOL/IsaMakefile Thu Mar 11 17:39:45 2010 +0100
@@ -247,6 +247,7 @@
MAIN_DEPENDENCIES = $(PLAIN_DEPENDENCIES) \
ATP_Linkup.thy \
+ Big_Operators.thy \
Code_Evaluation.thy \
Code_Numeral.thy \
Divides.thy \