src/HOL/Tools/legacy_transfer.ML

       >> (fn key => Thm.declaration_attribute (fn thm =>
             add key false { inj = [], embed = [], return = [thm], cong = [], hints = [] })))
     "install transfer data" #>
     Attrib.setup @{binding transferred}
       (selection -- these (keyword_colon leavingN |-- names)
-        >> (fn (selection, leave) => Thm.rule_attribute (fn context =>
+        >> (fn (selection, leave) => Thm.rule_attribute [] (fn context =>
               Conjunction.intr_balanced o transfer context selection leave)))
     "transfer theorems");
 
 end;