Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2000-05-26 05:15:57 -0700 (Fri, 26 May 2000)
Revision: 2991
Log message:

      Inlined cterms2system
      
      1% speedup on TPTP's GEN
      

Changes  Path
+19 -31 metaprl/refiner/term_ds/term_unif_ds.ml