src/HOLCF/HOLCF.thy

--- a/src/HOLCF/HOLCF.thy	Wed Mar 19 22:28:17 2008 +0100
+++ b/src/HOLCF/HOLCF.thy	Wed Mar 19 22:47:35 2008 +0100
@@ -21,8 +21,8 @@
 
 defaultsort pcpo
 
-ML_setup {*
-  change_simpset (fn simpset => simpset addSolver
+declaration {* fn _ =>
+  Simplifier.map_ss (fn simpset => simpset addSolver
     (mk_solver' "adm_tac" (fn ss =>
       adm_tac (cut_facts_tac (Simplifier.prems_of_ss ss) THEN' cont_tacRs ss))));
 *}