Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 1998-08-02 12:24:58 -0700 (Sun, 02 Aug 1998)
Revision: 2382
Log message:

      Added performance testing function.
      

Changes	Path
+10 -0	metaprl/theories/tptp/tptp_prove.ml
+1 -0	metaprl/theories/tptp/tptp_prove.mli