src/HOL/IsaMakefile
changeset 33820 082d9bc6992d
parent 33748 dd5513734567
child 33938 7ed48b28bb7f
child 33954 1bc3b688548c
     1.1 --- a/src/HOL/IsaMakefile	Fri Nov 20 10:40:30 2009 +0100
     1.2 +++ b/src/HOL/IsaMakefile	Fri Nov 20 15:33:10 2009 +0100
     1.3 @@ -103,7 +103,6 @@
     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 \