--- a/src/HOL/Tools/BNF/bnf_fp_n2m.ML Mon Oct 06 13:40:31 2014 +0200
+++ b/src/HOL/Tools/BNF/bnf_fp_n2m.ML Mon Oct 06 13:40:56 2014 +0200
@@ -472,7 +472,7 @@
ctor_injects = of_fp_res #ctor_injects (*too general types*),
dtor_injects = of_fp_res #dtor_injects (*too general types*),
xtor_maps = of_fp_res #xtor_maps (*too general types and terms*),
- xtor_set_thmss = of_fp_res #xtor_set_thmss (*too general types and terms*),
+ xtor_setss = of_fp_res #xtor_setss (*too general types and terms*),
xtor_rel_thms = of_fp_res #xtor_rel_thms (*too general types and terms*),
xtor_co_rec_thms = xtor_co_rec_thms,
xtor_co_rec_o_maps = fp_rec_o_maps (*theorems about old constants*),