Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2003-11-17 13:33:19 -0800 (Mon, 17 Nov 2003)
Revision: 5108
Log message:

      The new Alexei's version of the dT-elim autoT-compatibility test turned out
      to be a bit too weak, resulting in autoT going into an infinite loop on occasion.
      Making the test a little stronger.
      

Changes	Path
+5 -5	metaprl/support/tactics/auto_tactic.ml
+15 -6	metaprl/support/tactics/dtactic.ml