changeset 58581 | e2e2d775869c |
parent 58580 | 8ee2d984caa8 |
child 58583 | 1dd83cbba636 |
--- a/src/HOL/Tools/BNF/bnf_lfp_basic_sugar.ML Mon Oct 06 13:38:40 2014 +0200 +++ b/src/HOL/Tools/BNF/bnf_lfp_basic_sugar.ML Mon Oct 06 13:39:12 2014 +0200 @@ -48,7 +48,7 @@ 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