src/Pure/ROOT.ML

 use "drule.ML";
 use "variable.ML";
 use "tctical.ML";
 use "search.ML";
 use "meta_simplifier.ML";
+use "tactic.ML";
 use "conjunction.ML";
 use "assumption.ML";
 use "goal.ML";
-use "tactic.ML";
 
 (*proof term operations*)
 use "Proof/reconstruct.ML";
 use "Proof/proof_syntax.ML";
 use "Proof/proof_rewrite_rules.ML";