src/HOL/IsaMakefile
changeset 31048 ac146fc38b51
parent 31036 64ff53fc0c0c
child 31055 2cf6efca6c71
     1.1 --- a/src/HOL/IsaMakefile	Wed May 06 16:01:05 2009 +0200
     1.2 +++ b/src/HOL/IsaMakefile	Wed May 06 16:01:06 2009 +0200
     1.3 @@ -206,7 +206,6 @@
     1.4  MAIN_DEPENDENCIES = $(PLAIN_DEPENDENCIES) \
     1.5    ATP_Linkup.thy \
     1.6    Code_Eval.thy \
     1.7 -  Code_Message.thy \
     1.8    Equiv_Relations.thy \
     1.9    Groebner_Basis.thy \
    1.10    Hilbert_Choice.thy \
    1.11 @@ -220,6 +219,7 @@
    1.12    Presburger.thy \
    1.13    Recdef.thy \
    1.14    SetInterval.thy \
    1.15 +  String.thy \
    1.16    $(SRC)/Provers/Arith/assoc_fold.ML \
    1.17    $(SRC)/Provers/Arith/cancel_numeral_factor.ML \
    1.18    $(SRC)/Provers/Arith/cancel_numerals.ML \