--- a/src/HOL/Tools/BNF/bnf_gfp.ML Mon Oct 06 13:40:31 2014 +0200
+++ b/src/HOL/Tools/BNF/bnf_gfp.ML Mon Oct 06 13:40:56 2014 +0200
@@ -2539,7 +2539,7 @@
{Ts = Ts, bnfs = Jbnfs, ctors = ctors, dtors = dtors, xtor_co_recs = corecs,
xtor_co_induct = dtor_coinduct_thm, dtor_ctors = dtor_ctor_thms, ctor_dtors = ctor_dtor_thms,
ctor_injects = ctor_inject_thms, dtor_injects = dtor_inject_thms,
- xtor_maps = dtor_Jmap_thms, xtor_set_thmss = dtor_Jset_thmss',
+ xtor_maps = dtor_Jmap_thms, xtor_setss = dtor_Jset_thmss',
xtor_rel_thms = dtor_Jrel_thms, xtor_co_rec_thms = dtor_corec_thms,
xtor_co_rec_o_maps = dtor_corec_o_Jmap_thms, xtor_rel_co_induct = Jrel_coinduct_thm,
dtor_set_inducts = dtor_Jset_induct_thms,