Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 1998-05-26 20:41:33 -0700 (Tue, 26 May 1998)
Revision: 2183
Log message:

      Changed to match TermSig and TermSimpleSig
      

Changes	Path
+25 -10	metaprl/refiner/term_ds.ml
+29 -14	metaprl/refiner/term_ds.mli
+1 -1	metaprl/refiner/term_ds_simple.ml