src/HOL/IsaMakefile
changeset 47730 15f4309bb9eb
parent 47694 05663f75964c
child 47790 2e1636e45770
     1.1 --- a/src/HOL/IsaMakefile	Tue Apr 24 13:55:02 2012 +0100
     1.2 +++ b/src/HOL/IsaMakefile	Tue Apr 24 13:59:29 2012 +0100
     1.3 @@ -1326,13 +1326,13 @@
     1.4  HOL-Mirabelle: HOL $(LOG)/HOL-Mirabelle.gz
     1.5  
     1.6  $(LOG)/HOL-Mirabelle.gz: $(OUT)/HOL Mirabelle/Mirabelle_Test.thy \
     1.7 -  Mirabelle/Mirabelle.thy Mirabelle/Actions/mirabelle.ML \
     1.8 -  Mirabelle/ROOT.ML Mirabelle/Actions/mirabelle_arith.ML \
     1.9 -  Mirabelle/Actions/mirabelle_metis.ML \
    1.10 -  Mirabelle/Actions/mirabelle_quickcheck.ML \
    1.11 -  Mirabelle/Actions/mirabelle_refute.ML	\
    1.12 -  Mirabelle/Actions/mirabelle_sledgehammer.ML \
    1.13 -  Mirabelle/Actions/mirabelle_sledgehammer_filter.ML \
    1.14 +  Mirabelle/Mirabelle.thy Mirabelle/Tools/mirabelle.ML \
    1.15 +  Mirabelle/ROOT.ML Mirabelle/Tools/mirabelle_arith.ML \
    1.16 +  Mirabelle/Tools/mirabelle_metis.ML \
    1.17 +  Mirabelle/Tools/mirabelle_quickcheck.ML \
    1.18 +  Mirabelle/Tools/mirabelle_refute.ML	\
    1.19 +  Mirabelle/Tools/mirabelle_sledgehammer.ML \
    1.20 +  Mirabelle/Tools/mirabelle_sledgehammer_filter.ML \
    1.21    ex/sledgehammer_tactics.ML Mirabelle/lib/Tools/mirabelle \
    1.22    Mirabelle/lib/scripts/mirabelle.pl Library/FrechetDeriv.thy \
    1.23    Library/Inner_Product.thy