src/HOL/TPTP/ATP_Problem_Import.thy
author wenzelm
Sat, 07 Apr 2012 16:41:59 +0200
changeset 47389 e8552cba702d
parent 46324 e4bccf5ec61e
child 47557 32f35b3d9e42
permissions -rw-r--r--
explicit checks stable_finished_theory/stable_command allow parallel asynchronous command transactions; tuned;

(*  Title:      HOL/TPTP/ATP_Problem_Import.thy
    Author:     Jasmin Blanchette, TU Muenchen
*)

header {* ATP Problem Importer *}

theory ATP_Problem_Import
imports Complex_Main
uses ("atp_problem_import.ML")
begin

typedecl iota (* for TPTP *)

use "atp_problem_import.ML"

end