Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2003-07-24 17:57:47 -0700 (Thu, 24 Jul 2003)
Revision: 4775
Log message:

      Fixed a few bugs on the branch.
      

Changes	Path
+0 -1	metaprl-branches/bound_contexts/editor/ml/tests/prop-pigeon.ml
+9 -11	metaprl-branches/bound_contexts/refiner/term_ds/term_addr_ds.ml
+9 -8	metaprl-branches/bound_contexts/refiner/term_ds/term_subst_ds.ml