src/HOL/Tools/res_atp_provers.ML
2006-05-25 mengj 2006-05-25 A new "spass" method.
2006-04-27 paulson 2006-04-27 cosmetic changes
2006-03-07 mengj 2006-03-07 Moved the settings for ATP time limit to res_atp.ML
2006-02-23 mengj 2006-02-23 eprover removes tmp files too.
2006-01-20 mengj 2006-01-20 added some debugging code.
2005-11-28 mengj 2005-11-28 Slight modification to trace information.
2005-11-18 mengj 2005-11-18 -- split up inputs to ATPs into two groups: temporary files (axioms and goals) and permanent helper files (e.g. combinator reduction axioms).
2005-10-19 mengj 2005-10-19 *** empty log message ***
2005-10-19 mengj 2005-10-19 Added files in order to use external ATPs as oracles and invoke these ATPs by calling Isabelle methods (currently "vampire" and "eprover").