Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2000-05-15 01:21:05 -0700 (Mon, 15 May 2000)
Revision: 2975
Log message:

      terms2temp_multieq again: Do not create temp_meq before it's really needed.
      
      Use incr for incrementing instead of x:=(!x)+1
      
      1.5% speedup on TPTP's GEN.
      

Changes	Path
+38 -49	metaprl-branches/unify_mm/refiner/term_ds/term_unif_ds.ml