Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 1998-07-24 13:10:05 -0700 (Fri, 24 Jul 1998)
Revision: 2355
Log message:

      Renamed Refine_ds to Refine_ds_verb and Refine_std to Refine_std_verb
      

Changes	Path
+4 -4	metaprl/filter/filter_cache.ml
+2 -2	metaprl/refiner/refiner/Files
+1 -1	metaprl/refiner/refiner/refiner.ml
Deleted	metaprl/refiner/refiner/refiner_ds.ml
Deleted	metaprl/refiner/refiner/refiner_ds.mli
Added	metaprl/refiner/refiner/refiner_ds_verb.ml
Properties	metaprl/refiner/refiner/refiner_ds_verb.ml
Added	metaprl/refiner/refiner/refiner_ds_verb.mli
Properties	metaprl/refiner/refiner/refiner_ds_verb.mli
Deleted	metaprl/refiner/refiner/refiner_std.ml
Deleted	metaprl/refiner/refiner/refiner_std.mli
Added	metaprl/refiner/refiner/refiner_std_verb.ml
Properties	metaprl/refiner/refiner/refiner_std_verb.ml
Added	metaprl/refiner/refiner/refiner_std_verb.mli
Properties	metaprl/refiner/refiner/refiner_std_verb.mli
+2 -2	metaprl/refiner/reflib/ml_term.ml
+6 -6	metaprl/refiner/reflib/term_copy.ml
+8 -8	metaprl/refiner/reflib/term_copy.mli