src/HOL/Tools/ATP/testoutput.py
2005-05-26 paulson 2005-05-26 trying to set up portable calling sequences for SPASS and tptp2X
2005-05-23 quigley 2005-05-23 spassshell and testout.py are used to filter the proof part out of SPASS's output (i.e. cuts out input and search information).