Got rid of Main.thy reference
authorquigley
Thu Apr 07 18:33:56 2005 +0200 (2005-04-07)
changeset 1568083164f078985
parent 15679 28eb0fe50533
child 15681 b667c22edb36
Got rid of Main.thy reference
src/HOL/Tools/ATP/recon_prelim.ML
     1.1 --- a/src/HOL/Tools/ATP/recon_prelim.ML	Thu Apr 07 18:20:04 2005 +0200
     1.2 +++ b/src/HOL/Tools/ATP/recon_prelim.ML	Thu Apr 07 18:33:56 2005 +0200
     1.3 @@ -7,7 +7,7 @@
     1.4  open Tfl;
     1.5  open Rules;
     1.6  
     1.7 -goal Main.thy "A -->A";
     1.8 +Goal "A -->A";
     1.9  by Auto_tac;
    1.10  qed "foo";
    1.11  
    1.12 @@ -467,4 +467,4 @@
    1.13                          raise VARFORM_PROBLEM;
    1.14                  	
    1.15   
    1.16 -exception ASSERTION of string;
    1.17 \ No newline at end of file
    1.18 +exception ASSERTION of string;