src/HOL/Tools/BNF/bnf_lfp_basic_sugar.ML

    xtor_rel_thms = [xtor_rel],
    xtor_co_rec_thms = [map_id0_of_bnf fp_bnf RS @{thm ctor_rec}],
    xtor_co_rec_o_maps = [ctor_rec_o_map],
    xtor_rel_co_induct = xtor_rel_induct,
    dtor_set_inducts = [],
-   xtor_co_rec_transfer_thms = []};
+   xtor_co_rec_transfers = []};
 
 fun fp_sugar_of_sum ctxt =
   let
     val fpT as Type (fpT_name, As) = @{typ "'a + 'b"};
     val fpBT = @{typ "'c + 'd"};