src/HOL/TPTP/ATP_Problem_Import.thy
changeset 47790 2e1636e45770
parent 47788 44b33c1e702e
child 47794 4ad62c5f9f88
     1.1 --- a/src/HOL/TPTP/ATP_Problem_Import.thy	Fri Apr 27 14:07:31 2012 +0200
     1.2 +++ b/src/HOL/TPTP/ATP_Problem_Import.thy	Fri Apr 27 15:24:37 2012 +0200
     1.3 @@ -3,10 +3,9 @@
     1.4  *)
     1.5  
     1.6  header {* ATP Problem Importer *}
     1.7 -
     1.8  theory ATP_Problem_Import
     1.9  imports Complex_Main TPTP_Interpret
    1.10 -uses "~~/src/HOL/ex/sledgehammer_tactics.ML"
    1.11 +uses "sledgehammer_tactics.ML"
    1.12       "atp_problem_import.ML"
    1.13  begin
    1.14