Changes by: Vladimir N. Krupski (krupski at lpcs.math.msu.su)
Date: 2000-02-20 06:00:19 -0800 (Sun, 20 Feb 2000)
Revision: 2898
Log message:

      I switch off the error messages produced by old unification.
      

Changes	Path
+11 -2	metaprl/theories/tptp/tptp_prove1.ml