| changeset 42795 | 66fcc9882784 |
| parent 42793 | 88bee9f6eec7 |
| child 42799 | 4e33894aec6d |
--- a/src/FOL/FOL.thy Fri May 13 23:24:06 2011 +0200 +++ b/src/FOL/FOL.thy Fri May 13 23:58:40 2011 +0200 @@ -342,7 +342,7 @@ val FOL_ss = IFOL_ss addsimps (@{thms cla_simps} @ @{thms cla_ex_simps} @ @{thms cla_all_simps}); *} -setup {* Simplifier.map_simpset (K FOL_ss) *} +setup {* Simplifier.map_simpset_global (K FOL_ss) *} setup "Simplifier.method_setup Splitter.split_modifiers" setup Splitter.setup