Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2003-07-09 00:46:42 -0700 (Wed, 09 Jul 2003)
Revision: 4724
Log message:

      Minor clean-up.
      

Changes	Path
+2 -1	metaprl/refiner/term_ds/term_man_ds.ml
+1 -1	metaprl/refiner/term_ds/term_subst_ds.ml
+1 -1	metaprl/refiner/term_std/term_subst_std.ml
+5 -26	metaprl/theories/itt/itt_dprod.ml
+5065 -6175	metaprl/theories/itt/itt_dprod.prla
+1 -1	metaprl/theories/itt/itt_list.ml