src/HOL/IsaMakefile
changeset 33583 b5e0909cd5ea
parent 33533 40b44cb20c8c
parent 33578 0c3ba1e010d2
child 33649 854173fcd21c
     1.1 --- a/src/HOL/IsaMakefile	Tue Nov 10 13:17:50 2009 +0100
     1.2 +++ b/src/HOL/IsaMakefile	Tue Nov 10 13:54:00 2009 +0100
     1.3 @@ -103,6 +103,7 @@
     1.4    $(SRC)/Provers/hypsubst.ML \
     1.5    $(SRC)/Provers/quantifier1.ML \
     1.6    $(SRC)/Provers/splitter.ML \
     1.7 +  $(SRC)/Tools/Auto_Counterexample.thy \
     1.8    $(SRC)/Tools/Code/code_haskell.ML \
     1.9    $(SRC)/Tools/Code/code_ml.ML \
    1.10    $(SRC)/Tools/Code/code_preproc.ML \
    1.11 @@ -115,6 +116,7 @@
    1.12    $(SRC)/Tools/IsaPlanner/rw_tools.ML \
    1.13    $(SRC)/Tools/IsaPlanner/zipper.ML \
    1.14    $(SRC)/Tools/atomize_elim.ML \
    1.15 +  $(SRC)/Tools/auto_counterexample.ML \
    1.16    $(SRC)/Tools/auto_solve.ML \
    1.17    $(SRC)/Tools/coherent.ML \
    1.18    $(SRC)/Tools/cong_tac.ML \