2006-05-25 ago A new "spass" method.
2006-04-27 ago cosmetic changes
2006-03-07 ago Moved the settings for ATP time limit to res_atp.ML
2006-02-23 ago eprover removes tmp files too.
2006-01-20 ago added some debugging code.
2005-11-28 ago Slight modification to trace information.
2005-11-18 ago -- 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 ago *** empty log message ***
2005-10-19 ago Added files in order to use external ATPs as oracles and invoke these ATPs by calling Isabelle methods (currently "vampire" and "eprover").