Changes by: Vladimir N. Krupski (krupski at lpcs.math.msu.su)
Date: 2001-01-28 16:16:41 -0800 (Sun, 28 Jan 2001)
Revision: 3117
Log message:

      Data types for unification with lasy convertion of terms
      

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