src/CCL/Wfd.thy
changeset 30515 bca05b17b618
parent 30510 4120fc59dd85
child 31902 862ae16a799d
--- 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;