Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2003-07-07 20:10:57 -0700 (Mon, 07 Jul 2003)
Revision: 4715
Log message:

      Backported some of the trunk changes back to the branch.
      

Changes	Path
+3 -8	metaprl-branches/abstract_vars/filter/base/filter_summary.ml
+1 -12	metaprl-branches/abstract_vars/refiner/refsig/term_op_sig.ml
+1 -0	metaprl-branches/abstract_vars/refiner/refsig/term_sig.ml
+0 -10	metaprl-branches/abstract_vars/refiner/refsig/term_subst_sig.ml
+1 -1	metaprl-branches/abstract_vars/refiner/term_ds/term_base_ds.ml
+1 -0	metaprl-branches/abstract_vars/refiner/term_ds/term_ds.ml
+1 -0	metaprl-branches/abstract_vars/refiner/term_ds/term_ds_sig.ml
+0 -78	metaprl-branches/abstract_vars/refiner/term_ds/term_op_ds.ml
+0 -69	metaprl-branches/abstract_vars/refiner/term_ds/term_subst_ds.ml
+1 -1	metaprl-branches/abstract_vars/refiner/term_std/term_base_std.ml
+0 -83	metaprl-branches/abstract_vars/refiner/term_std/term_op_std.ml
+1 -0	metaprl-branches/abstract_vars/refiner/term_std/term_std.ml
+1 -0	metaprl-branches/abstract_vars/refiner/term_std/term_std_sig.ml
+0 -70	metaprl-branches/abstract_vars/refiner/term_std/term_subst_std.ml
+0 -5	metaprl-branches/abstract_vars/theories/itt/itt_list2.ml