| changeset 70182 | ca9dfa7ee3bd |
| parent 70177 | b67bab2b132c |
| child 82641 | d22294b20573 |
--- a/src/Tools/atomize_elim.ML Thu Apr 18 06:19:30 2019 +0200 +++ b/src/Tools/atomize_elim.ML Wed Apr 17 16:57:06 2019 +0000 @@ -19,7 +19,7 @@ val named_theorems = Context.>>> (Context.map_theory_result (Named_Target.theory_init #> - Named_Theorems.declare \<^binding>\<open>atomize_elim\<close> [] "atomize_elim rewrite rule" ##> + Named_Theorems.declare \<^binding>\<open>atomize_elim\<close> "atomize_elim rewrite rule" ##> Local_Theory.exit_global));