--- a/src/HOL/IsaMakefile Tue Sep 18 17:53:37 2007 +0200
+++ b/src/HOL/IsaMakefile Tue Sep 18 18:05:34 2007 +0200
@@ -83,7 +83,7 @@
$(SRC)/Provers/induct_method.ML $(SRC)/Provers/order.ML \
$(SRC)/Provers/project_rule.ML $(SRC)/Provers/quantifier1.ML \
$(SRC)/Provers/quasi.ML $(SRC)/Provers/splitter.ML \
- $(SRC)/Provers/trancl.ML $(SRC)/Tools/integer.ML $(SRC)/Tools/Metis/metis.ML\
+ $(SRC)/Provers/trancl.ML $(SRC)/Tools/Metis/metis.ML\
$(SRC)/Tools/code/code_funcgr.ML \
$(SRC)/Tools/code/code_name.ML $(SRC)/Tools/code/code_package.ML \
$(SRC)/Tools/code/code_target.ML $(SRC)/Tools/code/code_thingol.ML \