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.