1.1 --- a/src/HOL/IsaMakefile	Thu Sep 02 16:45:21 2010 +0200
     1.2 +++ b/src/HOL/IsaMakefile	Thu Sep 02 17:12:16 2010 +0200
     1.3 @@ -209,7 +209,6 @@
     1.4    Tools/primrec.ML \
     1.5    Tools/prop_logic.ML \
     1.6    Tools/refute.ML \
     1.7 -  Tools/refute_isar.ML \
     1.8    Tools/rewrite_hol_proof.ML \
     1.9    Tools/sat_funcs.ML \
    1.10    Tools/sat_solver.ML \