--- a/src/HOL/BNF/Tools/bnf_gfp.ML Thu Jun 06 11:41:19 2013 +0200
+++ b/src/HOL/BNF/Tools/bnf_gfp.ML Thu Jun 06 11:47:11 2013 +0200
@@ -3111,8 +3111,8 @@
xtor_co_recs = corecs, xtor_co_induct = dtor_coinduct_thm,
xtor_strong_co_induct = dtor_strong_coinduct_thm, dtor_ctors = dtor_ctor_thms,
ctor_dtors = ctor_dtor_thms, ctor_injects = ctor_inject_thms,
- map_thms = folded_dtor_map_thms, set_thmss = folded_dtor_set_thmss',
- rel_thms = dtor_Jrel_thms, xtor_un_fold_thms = ctor_dtor_unfold_thms,
+ xtor_map_thms = folded_dtor_map_thms, xtor_set_thmss = folded_dtor_set_thmss',
+ xtor_rel_thms = dtor_Jrel_thms, xtor_un_fold_thms = ctor_dtor_unfold_thms,
xtor_co_rec_thms = ctor_dtor_corec_thms},
lthy |> Local_Theory.notes (common_notes @ notes) |> snd)
end;