Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 1999-07-07 05:43:01 -0700 (Wed, 07 Jul 1999)
Revision: 2792
Log message:

      Be more careful to thin the right hypothesis.
      This makes dT work as expected when given a negative hyp number.
      

Changes	Path
+8 -3	metaprl/theories/base/base_dtactic.ml