--- a/src/HOL/Meson.thy Mon Oct 04 22:51:53 2010 +0200
+++ b/src/HOL/Meson.thy Tue Oct 05 10:28:11 2010 +0200
@@ -11,6 +11,7 @@
imports Datatype
uses ("Tools/Meson/meson.ML")
("Tools/Meson/meson_clausify.ML")
+ ("Tools/Meson/meson_tactic.ML")
begin
section {* Negation Normal Form *}
@@ -197,11 +198,12 @@
use "Tools/Meson/meson.ML"
use "Tools/Meson/meson_clausify.ML"
+use "Tools/Meson/meson_tactic.ML"
setup {*
Meson_Choices.setup
#> Meson.setup
- #> Meson_Clausify.setup
+ #> Meson_Tactic.setup
*}
end