Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2003-05-23 02:04:41 -0700 (Fri, 23 May 2003)
Revision: 4624
Log message:
- Made nthHypT be more efficient at choosing a tactic to apply.
- Updated the intro rules for esquash to be more aggressive in
esquashAutoT and more conservative in simple autoT.