--- a/src/HOL/Tools/BNF/bnf_fp_def_sugar.ML Tue Oct 06 19:35:33 2015 +0200
+++ b/src/HOL/Tools/BNF/bnf_fp_def_sugar.ML Tue Oct 06 21:04:44 2015 +0200
@@ -1102,7 +1102,7 @@
(rel_injectN, rel_inject_thms, K simp_attrs),
(rel_introsN, rel_intro_thms, K []),
(rel_selN, rel_sel_thms, K []),
- (setN, set_thms, K (code_attrs @ nitpicksimp_attrs @ simp_attrs)),
+ (setN, set_thms, K (code_attrs @ case_fp fp nitpicksimp_attrs [] @ simp_attrs)),
(set_casesN, set_cases_thms, nth set_cases_attrss),
(set_introsN, set_intros_thms, K []),
(set_selN, set_sel_thms, K [])]