src/CCL/Wfd.thy

--- a/src/CCL/Wfd.thy	Fri Mar 13 23:32:40 2009 +0100
+++ b/src/CCL/Wfd.thy	Fri Mar 13 23:50:05 2009 +0100
@@ -504,8 +504,9 @@
 
 val eval_setup =
   Data.setup #>
-  Method.add_methods [("eval", Method.thms_ctxt_args (fn ths => fn ctxt =>
-    SIMPLE_METHOD (CHANGED (eval_tac ctxt ths))), "evaluation")];
+  Method.setup @{binding eval}
+    (Attrib.thms >> (fn ths => fn ctxt => SIMPLE_METHOD (CHANGED (eval_tac ctxt ths))))
+    "evaluation";
 
 end;