Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2006-03-30 05:17:38 -0800 (Thu, 30 Mar 2006)
Revision: 8968
Log message:

      - Rewrote the forward-chainer:
        - to be more efficient (less idT calls, etc)
        - to more aggressively prohibit "no progress" steps
        - to thin out dups during forward chaining (where we already know that they
          are dups)
      
        This sped up status-all by almost a third!
      
      - Fixed the broken proofs in itt_hoas_sequent_term_wf.