Changes by: Alexei Kopylov (kopylov at cs.caltech.edu)
Date: 2001-06-24 18:34:52 -0700 (Sun, 24 Jun 2001)
Revision: 3298
Log message:
- All rules in record theories are prooved (except some simple arith facts).
- Now progressT checks whether the assumptions are changed (not only the goal).
- Add a new operator tsquash{A}={Top|A}