src/HOL/IsaMakefile

--- a/src/HOL/IsaMakefile	Thu Mar 11 14:38:20 2010 +0100
+++ b/src/HOL/IsaMakefile	Thu Mar 11 14:39:58 2010 +0100
@@ -142,7 +142,6 @@
 	@$(ISABELLE_TOOL) usedir -b -f base.ML -d false -g false $(OUT)/Pure HOL-Base
 
 PLAIN_DEPENDENCIES = $(BASE_DEPENDENCIES)\
-  Big_Operators.thy \
   Complete_Lattice.thy \
   Datatype.thy \
   Extraction.thy \
@@ -248,6 +247,7 @@
 
 MAIN_DEPENDENCIES = $(PLAIN_DEPENDENCIES) \
   ATP_Linkup.thy \
+  Big_Operators.thy \
   Code_Evaluation.thy \
   Code_Numeral.thy \
   Divides.thy \