Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 1998-05-18 13:44:29 -0700 (Mon, 18 May 1998)
Revision: 2174
Log message:

      This is the initial checkin of Term_ds module. I've got the interface and
      I am starting rewriting the implementation. Most of the code is still the "old"
      code from the Term module, and would not compile.
      

Changes	Path
Added	metaprl/refiner/term_ds.ml
Properties	metaprl/refiner/term_ds.ml
Added	metaprl/refiner/term_ds.mli
Properties	metaprl/refiner/term_ds.mli