1.1 --- a/src/HOL/IsaMakefile	Tue Oct 26 11:51:09 2010 +0200
     1.2 +++ b/src/HOL/IsaMakefile	Tue Oct 26 12:17:19 2010 +0200
     1.3 @@ -144,7 +144,6 @@
     1.4  	@$(ISABELLE_TOOL) usedir -b -f base.ML -d false -g false $(OUT)/Pure HOL-Base
     1.5  
     1.6  PLAIN_DEPENDENCIES = $(BASE_DEPENDENCIES) \
     1.7 -  ATP.thy \
     1.8    Complete_Lattice.thy \
     1.9    Complete_Partial_Order.thy \
    1.10    Datatype.thy \
    1.11 @@ -170,7 +169,6 @@
    1.12    Rings.thy \
    1.13    SAT.thy \
    1.14    Set.thy \
    1.15 -  Sledgehammer.thy \
    1.16    Sum_Type.thy \
    1.17    Tools/abel_cancel.ML \
    1.18    Tools/arith_data.ML \
    1.19 @@ -239,6 +237,7 @@
    1.20  	@$(ISABELLE_TOOL) usedir -b -f plain.ML -g true $(OUT)/Pure HOL-Plain
    1.21  
    1.22  MAIN_DEPENDENCIES = $(PLAIN_DEPENDENCIES) \
    1.23 +  ATP.thy \
    1.24    Big_Operators.thy \
    1.25    Code_Evaluation.thy \
    1.26    Code_Numeral.thy \
    1.27 @@ -269,6 +268,7 @@
    1.28    Refute.thy \
    1.29    Semiring_Normalization.thy \
    1.30    SetInterval.thy \
    1.31 +  Sledgehammer.thy \
    1.32    SMT.thy \
    1.33    String.thy \
    1.34    Typerep.thy \