src/Pure/Isar/attrib.ML

         >> (fn (fact, sel) => (name, Facts.Named ((name, pos), sel), fact))))
     -- Args.opt_attribs (intern thy) >> (fn ((name, thmref, fact), srcs) =>
       let
         val ths = Facts.select thmref fact;
         val atts = map (attribute_i thy) srcs;
-        val (context', ths') = foldl_map (Library.apply atts) (context, ths);
+        val (context', ths') = Library.foldl_map (Library.apply atts) (context, ths);
       in (context', pick name ths') end)
   end);
 
 in