--- a/src/HOL/Boogie/Boogie.thy Wed Dec 23 11:33:01 2009 +0100
+++ b/src/HOL/Boogie/Boogie.thy Wed Dec 23 17:35:56 2009 +0100
@@ -9,8 +9,8 @@
uses
("Tools/boogie_vcs.ML")
("Tools/boogie_loader.ML")
+ ("Tools/boogie_tactics.ML")
("Tools/boogie_commands.ML")
- ("Tools/boogie_tactics.ML")
begin
text {*
@@ -95,10 +95,10 @@
use "Tools/boogie_vcs.ML"
use "Tools/boogie_loader.ML"
+use "Tools/boogie_tactics.ML"
+setup Boogie_Tactics.setup
+
use "Tools/boogie_commands.ML"
setup Boogie_Commands.setup
-use "Tools/boogie_tactics.ML"
-setup Boogie_Tactics.setup
-
end