changeset 36936 | c52d1c130898 |
parent 36933 | 705b58fde476 |
child 36937 | a30e50d4aeeb |
--- a/src/HOL/IsaMakefile Sat May 15 15:31:33 2010 +0200 +++ b/src/HOL/IsaMakefile Sat May 15 17:59:06 2010 +0200 @@ -128,7 +128,6 @@ $(SRC)/Tools/induct.ML \ $(SRC)/Tools/induct_tacs.ML \ $(SRC)/Tools/intuitionistic.ML \ - $(SRC)/Tools/more_conv.ML \ $(SRC)/Tools/nbe.ML \ $(SRC)/Tools/project_rule.ML \ $(SRC)/Tools/quickcheck.ML \