--- a/src/HOL/IsaMakefile Thu Sep 02 16:45:21 2010 +0200
+++ b/src/HOL/IsaMakefile Thu Sep 02 17:12:16 2010 +0200
@@ -209,7 +209,6 @@
Tools/primrec.ML \
Tools/prop_logic.ML \
Tools/refute.ML \
- Tools/refute_isar.ML \
Tools/rewrite_hol_proof.ML \
Tools/sat_funcs.ML \
Tools/sat_solver.ML \