changeset 48556 | 62a3fbf9d35b |
parent 48491 | 6f2bcc0a16e0 |
child 48560 | e0875d956a6b |
--- 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 \