author | wenzelm |
Wed, 19 Jul 2006 12:12:03 +0200 | |
changeset 20160 | 550e36c6a2d1 |
parent 19721 | 515f660c0ccb |
permissions | -rw-r--r-- |
(* ID: $Id$ Author: Jia Meng, NICTA *) header {* ATP setup (Vampire, E prover and SPASS) *} theory ResAtpMethods imports Reconstruction uses "Tools/res_atp_provers.ML" ("Tools/res_atp_methods.ML") begin oracle vampire_oracle ("string * int") = {* ResAtpProvers.vampire_o *} oracle eprover_oracle ("string * int") = {* ResAtpProvers.eprover_o *} oracle spass_oracle ("string * int") = {* ResAtpProvers.spass_o *} use "Tools/res_atp_methods.ML" setup ResAtpMethods.ResAtps_setup end