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

      for Rob_ds testing
      

Changes  Path
+6 -0 metaprl/refiner/refsig/term_subst_sig.ml