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

      Rob_ds functions added (for testing only).
      

Changes	Path
+15 -9	metaprl/refiner/term_ds/term_subst_ds.ml
+13 -7	metaprl/refiner/term_std/term_subst_std.ml