Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 2006-01-03 13:05:49 -0800 (Tue, 03 Jan 2006)
Revision: 8394
Log message:

      Added a simple forward-chaining tactic in support/tactics/forward.ml
      It is a lot like dT elimination, but it checks that progress is being made.
      Perhaps there is a more generic way to do it.  The proof cache used to
      do forward chaining, and I imagine JProver does too.