Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/HOL/BNF/Tools/bnf_ctr_sugar.ML
changeset 53805 4163160853fd
parent 53798 6a4e3299dfd1
child 53808 b3e2022530e3 
--- a/src/HOL/BNF/Tools/bnf_ctr_sugar.ML	Mon Sep 23 14:53:43 2013 +0200
+++ b/src/HOL/BNF/Tools/bnf_ctr_sugar.ML	Mon Sep 23 17:43:23 2013 +0200
@@ -772,7 +772,7 @@
            (expandN, expand_thms, []),
            (injectN, inject_thms, iff_attrs @ induct_simp_attrs),
            (nchotomyN, [nchotomy_thm], []),
-           (selN, all_sel_thms, simp_attrs),
+           (selN, all_sel_thms, code_simp_attrs),
            (splitN, [split_thm], []),
            (split_asmN, [split_asm_thm], []),
            (splitsN, [split_thm, split_asm_thm], []),
isabelle