Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 1998-12-30 10:53:59 -0800 (Wed, 30 Dec 1998)
Revision: 2532
Log message:

      Made bound_term'=bound_term.
      This does not save much time, but it saves some memory (10% on PHP example)
      

Changes	Path
+5 -8	metaprl/refiner/term_ds/term_addr_ds.mlp
+23 -66	metaprl/refiner/term_ds/term_base_ds.mlp
+1 -4	metaprl/refiner/term_ds/term_ds.ml
+1 -4	metaprl/refiner/term_ds/term_ds_sig.ml
+9 -15	metaprl/refiner/term_ds/term_eval_ds.mlp
+6 -18	metaprl/refiner/term_ds/term_man_ds.mlp
+94 -228	metaprl/refiner/term_ds/term_op_ds.mlp
+15 -28	metaprl/refiner/term_ds/term_subst_ds.mlp