Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2006-04-04 01:16:33 -0700 (Tue, 04 Apr 2006)
Revision: 9019
Log message:

      Added a proper implementation of the forwardT tactic that only brings in
      forward-chaining information for one hyp and does not chain. (Jason had this
      in his implementation, but my reimplementation was missing it until now and
      Xin's proofs need it).