changeset 30510 | 4120fc59dd85 |
parent 29269 | 5c25a2012975 |
child 30515 | bca05b17b618 |
--- a/src/CCL/Wfd.thy Fri Mar 13 19:53:09 2009 +0100 +++ b/src/CCL/Wfd.thy Fri Mar 13 19:58:26 2009 +0100 @@ -505,7 +505,7 @@ val eval_setup = Data.setup #> Method.add_methods [("eval", Method.thms_ctxt_args (fn ths => fn ctxt => - Method.SIMPLE_METHOD (CHANGED (eval_tac ctxt ths))), "evaluation")]; + SIMPLE_METHOD (CHANGED (eval_tac ctxt ths))), "evaluation")]; end;