1.1 --- a/src/HOL/HOL.thy	Sat Mar 29 19:24:57 2008 +0100
     1.2 +++ b/src/HOL/HOL.thy	Sat Mar 29 22:55:49 2008 +0100
     1.3 @@ -1285,9 +1285,9 @@
     1.4  
     1.5  setup {*
     1.6    Simplifier.method_setup Splitter.split_modifiers
     1.7 -  #> (fn thy => (change_simpset_of thy (fn _ => Simpdata.simpset_simprocs); thy))
     1.8 +  #> Simplifier.map_simpset (K Simpdata.simpset_simprocs)
     1.9    #> Splitter.setup
    1.10 -  #> Clasimp.setup
    1.11 +  #> clasimp_setup
    1.12    #> EqSubst.setup
    1.13  *}
    1.14