Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2005-03-10 20:06:22 -0800 (Thu, 10 Mar 2005)
Revision: 6892
Log message:

      Created a separate SOContext choice for contexts in Term_ds.core_term type.
      

Changes	Path
+4 -3	metaprl/filter/base/filter_magic.ml
+23 -2	metaprl/refiner/term_ds/term_addr_ds.ml
+35 -0	metaprl/refiner/term_ds/term_base_ds.ml
+1 -0	metaprl/refiner/term_ds/term_ds.ml
+1 -0	metaprl/refiner/term_ds/term_ds_sig.ml
+23 -48	metaprl/refiner/term_ds/term_man_ds.ml
+6 -4	metaprl/refiner/term_ds/term_op_ds.ml
+21 -6	metaprl/refiner/term_ds/term_subst_ds.ml
+2 -2	metaprl/refiner/term_gen/term_addr_gen.ml