Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2003-07-04 17:36:18 -0700 (Fri, 04 Jul 2003)
Revision: 4702
Log message:

      Depeting some unused code.
      

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