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