src/HOL/Tools/BNF/bnf_fp_n2m.ML
changeset 58583 1dd83cbba636
parent 58581 e2e2d775869c
child 58584 b6492a7abb59
     1.1 --- a/src/HOL/Tools/BNF/bnf_fp_n2m.ML	Mon Oct 06 13:40:02 2014 +0200
     1.2 +++ b/src/HOL/Tools/BNF/bnf_fp_n2m.ML	Mon Oct 06 13:40:31 2014 +0200
     1.3 @@ -471,7 +471,7 @@
     1.4          ctor_dtors = of_fp_res #ctor_dtors (*too general types*),
     1.5          ctor_injects = of_fp_res #ctor_injects (*too general types*),
     1.6          dtor_injects = of_fp_res #dtor_injects (*too general types*),
     1.7 -        xtor_map_thms = of_fp_res #xtor_map_thms (*too general types and terms*),
     1.8 +        xtor_maps = of_fp_res #xtor_maps (*too general types and terms*),
     1.9          xtor_set_thmss = of_fp_res #xtor_set_thmss (*too general types and terms*),
    1.10          xtor_rel_thms = of_fp_res #xtor_rel_thms (*too general types and terms*),
    1.11          xtor_co_rec_thms = xtor_co_rec_thms,