changeset 56850 | 13a7bca533a3 |
parent 56467 | 8d7d6f17c6a7 |
child 56982 | 51d4189d95cf |
--- a/src/HOL/Tools/try0.ML Sun May 04 18:50:42 2014 +0200 +++ b/src/HOL/Tools/try0.ML Sun May 04 18:53:58 2014 +0200 @@ -100,7 +100,8 @@ ("fast", ((false, false), clas_attrs)), ("fastforce", ((false, false), full_attrs)), ("force", ((false, false), full_attrs)), - ("meson", ((false, false), metis_attrs))] + ("meson", ((false, false), metis_attrs)), + ("satx", ((false, false), no_attrs))]; val apply_methods = map apply_named_method named_methods;