Changes by: Vladimir N. Krupski (krupski at lpcs.math.msu.su)
Date: 2001-02-14 13:16:28 -0800 (Wed, 14 Feb 2001)
Revision: 3148
Log message:

      .
      

Changes	Path
+1 -0	metaprl/refiner/term_ds/Files
+160 -30	metaprl/refiner/term_ds/rob_ds.ml
+12 -1	metaprl/refiner/term_ds/rob_ds.mli