Got rid of Main.thy reference

--- a/src/HOL/Tools/ATP/recon_prelim.ML	Thu Apr 07 18:20:04 2005 +0200
+++ b/src/HOL/Tools/ATP/recon_prelim.ML	Thu Apr 07 18:33:56 2005 +0200
@@ -7,7 +7,7 @@
 open Tfl;
 open Rules;
 
-goal Main.thy "A -->A";
+Goal "A -->A";
 by Auto_tac;
 qed "foo";
 
@@ -467,4 +467,4 @@
                         raise VARFORM_PROBLEM;
                 	
  
-exception ASSERTION of string;
\ No newline at end of file
+exception ASSERTION of string;