Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2003-07-04 13:52:30 -0700 (Fri, 04 Jul 2003)
Revision: 4699
Log message:

      Somehow my previous commit was incomplete.
      

Changes	Path
+1 -1	metaprl/theories/tptp/tptp_load.ml
+1 -1	metaprl/theories/tptp/tptp_prove.ml