diff -r be4bf5f6b2ef -r 62a3fbf9d35b src/HOL/IsaMakefile
--- a/src/HOL/IsaMakefile	Fri Jul 27 14:56:37 2012 +0200
+++ b/src/HOL/IsaMakefile	Fri Jul 27 15:42:39 2012 +0200
@@ -245,10 +245,10 @@
   Tools/Metis/metis_generate.ML \
   Tools/Metis/metis_reconstruct.ML \
   Tools/Metis/metis_tactic.ML \
-  Tools/abel_cancel.ML \
   Tools/arith_data.ML \
   Tools/cnf_funcs.ML \
   Tools/enriched_type.ML \
+  Tools/group_cancel.ML \
   Tools/inductive.ML \
   Tools/inductive_realizer.ML \
   Tools/inductive_set.ML \