--- a/src/HOL/IsaMakefile Mon Oct 25 12:24:38 2010 +0200
+++ b/src/HOL/IsaMakefile Mon Oct 25 13:36:20 2010 +0200
@@ -144,6 +144,7 @@
@$(ISABELLE_TOOL) usedir -b -f base.ML -d false -g false $(OUT)/Pure HOL-Base
PLAIN_DEPENDENCIES = $(BASE_DEPENDENCIES) \
+ ATP.thy \
Complete_Lattice.thy \
Complete_Partial_Order.thy \
Datatype.thy \
@@ -169,6 +170,7 @@
Rings.thy \
SAT.thy \
Set.thy \
+ Sledgehammer.thy \
Sum_Type.thy \
Tools/abel_cancel.ML \
Tools/arith_data.ML \
@@ -237,7 +239,6 @@
@$(ISABELLE_TOOL) usedir -b -f plain.ML -g true $(OUT)/Pure HOL-Plain
MAIN_DEPENDENCIES = $(PLAIN_DEPENDENCIES) \
- ATP.thy \
Big_Operators.thy \
Code_Evaluation.thy \
Code_Numeral.thy \
@@ -268,7 +269,6 @@
Refute.thy \
Semiring_Normalization.thy \
SetInterval.thy \
- Sledgehammer.thy \
SMT.thy \
String.thy \
Typerep.thy \