src/HOL/IsaMakefile
changeset 35827 f552152d7747
parent 35825 a6aad5a70ed4
child 35828 46cfc4b8112e
     1.1 --- a/src/HOL/IsaMakefile	Wed Mar 17 19:26:05 2010 +0100
     1.2 +++ b/src/HOL/IsaMakefile	Wed Mar 17 19:37:44 2010 +0100
     1.3 @@ -246,7 +246,6 @@
     1.4  	@$(ISABELLE_TOOL) usedir -b -f plain.ML -g true $(OUT)/Pure HOL-Plain
     1.5  
     1.6  MAIN_DEPENDENCIES = $(PLAIN_DEPENDENCIES) \
     1.7 -  ATP_Linkup.thy \
     1.8    Big_Operators.thy \
     1.9    Code_Evaluation.thy \
    1.10    Code_Numeral.thy \
    1.11 @@ -271,6 +270,7 @@
    1.12    Random_Sequence.thy \
    1.13    Recdef.thy \
    1.14    SetInterval.thy \
    1.15 +  Sledgehammer.thy \
    1.16    String.thy \
    1.17    Typerep.thy \
    1.18    $(SRC)/Provers/Arith/assoc_fold.ML \