attributes and tactics

Stream: general

[Simon Hudon]

If I use mk_simp_attr to create an attribute, is there a way to set that attribute on a list of names? tactic.set_basic_attribute does not seem to do it.