src/HOL/HOL.thy

--- a/src/HOL/HOL.thy	Sat Mar 29 19:24:57 2008 +0100
+++ b/src/HOL/HOL.thy	Sat Mar 29 22:55:49 2008 +0100
@@ -1285,9 +1285,9 @@
 
 setup {*
   Simplifier.method_setup Splitter.split_modifiers
-  #> (fn thy => (change_simpset_of thy (fn _ => Simpdata.simpset_simprocs); thy))
+  #> Simplifier.map_simpset (K Simpdata.simpset_simprocs)
   #> Splitter.setup
-  #> Clasimp.setup
+  #> clasimp_setup
   #> EqSubst.setup
 *}