--- a/src/Pure/simplifier.ML Sat Mar 03 21:43:59 2012 +0100
+++ b/src/Pure/simplifier.ML Sat Mar 03 21:52:15 2012 +0100
@@ -315,7 +315,7 @@
(Args.context -- Scan.lift add_del) :|-- (fn (ctxt, decl) =>
Scan.repeat1 (Scan.lift (Args.named_attribute (decl o the_simproc ctxt o check_simproc ctxt))))
>> (fn atts => Thm.declaration_attribute (fn th =>
- Library.apply (map (fn att => Thm.attribute_declaration (Morphism.form att) th) atts)));
+ fold (fn att => Thm.attribute_declaration (Morphism.form att) th) atts));
end;