Changes by: Vladimir N. Krupski (krupski at lpcs.math.msu.su)
Date: 2001-02-01 15:19:13 -0800 (Thu, 01 Feb 2001)
Revision: 3132
Log message:

      *** empty log message ***
      

Changes	Path
+110 -35	metaprl/refiner/term_ds/rob_ds.ml
+29 -9	metaprl/refiner/term_ds/rob_ds.mli