--- a/src/HOL/Tools/inductive_package.ML Fri Feb 03 17:08:03 2006 +0100
+++ b/src/HOL/Tools/inductive_package.ML Fri Feb 03 23:12:28 2006 +0100
@@ -148,8 +148,8 @@
(* attributes *)
-val mono_add = Thm.declaration_attribute (map_monos o Drule.add_rules o mk_mono);
-val mono_del = Thm.declaration_attribute (map_monos o Drule.del_rules o mk_mono);
+val mono_add = Thm.declaration_attribute (map_monos o fold Drule.add_rule o mk_mono);
+val mono_del = Thm.declaration_attribute (map_monos o fold Drule.del_rule o mk_mono);