Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2005-04-02 22:00:48 -0800 (Sat, 02 Apr 2005)
Revision: 7094
Log message:

      Made term_std's standardize function closer to term_ds's one.
      

Changes	Path
+1 -7	metaprl/refiner/term_std/term_subst_std.ml