src/HOL/TPTP/ATP_Problem_Import.thy
changeset 47812 bb477988edb4
parent 47794 4ad62c5f9f88
child 48891 c0eafbd55de3
     1.1 --- a/src/HOL/TPTP/ATP_Problem_Import.thy	Fri Apr 27 22:36:27 2012 +0200
     1.2 +++ b/src/HOL/TPTP/ATP_Problem_Import.thy	Fri Apr 27 22:36:27 2012 +0200
     1.3 @@ -3,6 +3,7 @@
     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 "sledgehammer_tactics.ML"