changeset 33820 | 082d9bc6992d |
parent 33748 | dd5513734567 |
child 33938 | 7ed48b28bb7f |
child 33954 | 1bc3b688548c |
--- a/src/HOL/IsaMakefile Fri Nov 20 10:40:30 2009 +0100 +++ b/src/HOL/IsaMakefile Fri Nov 20 15:33:10 2009 +0100 @@ -103,7 +103,6 @@ $(SRC)/Provers/hypsubst.ML \ $(SRC)/Provers/quantifier1.ML \ $(SRC)/Provers/splitter.ML \ - $(SRC)/Tools/Auto_Counterexample.thy \ $(SRC)/Tools/Code/code_haskell.ML \ $(SRC)/Tools/Code/code_ml.ML \ $(SRC)/Tools/Code/code_preproc.ML \