diff -r 6e82fd81f813 -r 003333ffa543 src/HOL/Boogie/Boogie.thy
--- 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