changeset 30510 | 4120fc59dd85 |
parent 23609 | 451ab1a20ac3 |
child 30549 | d2d7874648bd |
--- a/src/HOL/ex/SAT_Examples.thy Fri Mar 13 19:53:09 2009 +0100 +++ b/src/HOL/ex/SAT_Examples.thy Fri Mar 13 19:58:26 2009 +0100 @@ -83,7 +83,7 @@ ML {* reset quick_and_dirty; *} method_setup rawsat = - {* Method.no_args (Method.SIMPLE_METHOD' sat.rawsat_tac) *} + {* Method.no_args (SIMPLE_METHOD' sat.rawsat_tac) *} "SAT solver (no preprocessing)" (* ML {* Toplevel.profiling := 1; *} *)