1.1 --- a/src/HOL/TPTP/CASC_Setup.thy	Wed Jul 13 22:16:19 2011 +0200
     1.2 +++ b/src/HOL/TPTP/CASC_Setup.thy	Wed Jul 13 22:16:19 2011 +0200
     1.3 @@ -8,7 +8,7 @@
     1.4  *)
     1.5  
     1.6  theory CASC_Setup
     1.7 -imports Main
     1.8 +imports Complex_Main
     1.9  uses "sledgehammer_tactics.ML"
    1.10  begin
    1.11