src/HOL/ResAtpMethods.thy
author mengj
Wed Oct 19 10:25:46 2005 +0200 (2005-10-19)
changeset 17907 c20e4bddcb11
parent 17905 1574533861b1
child 17939 3925ab7b8a18
permissions -rw-r--r--
*** empty log message ***
mengj@17905
     1
(* ID: $Id$
mengj@17907
     2
   Author: Jia Meng, NICTA
mengj@17905
     3
 a method to setup "vampire" method 
mengj@17905
     4
 a method to setup "eprover" method
mengj@17905
     5
*)
mengj@17905
     6
mengj@17905
     7
theory ResAtpMethods
mengj@17905
     8
  imports Reconstruction ResAtpOracle
mengj@17905
     9
mengj@17905
    10
  uses "Tools/res_atp_setup.ML"
mengj@17905
    11
       "Tools/res_atp_methods.ML"
mengj@17905
    12
mengj@17905
    13
begin
mengj@17905
    14
setup ResAtpMethods.ResAtps_setup
mengj@17905
    15
mengj@17907
    16
end