Changes by: Alexei Kopylov (kopylov at cs.caltech.edu)
Date: 2000-09-20 15:30:03 -0700 (Wed, 20 Sep 2000)
Revision: 3067
Log message:
1) Added a new theory (itt_disect) about dependent intersection.
2) Fixed rules intersectionElimination and intersectionSubtype in itt_isect
3) Added a correct version of intersectionMemberFormation
4) Fixed some comments
5) Added a new bug (4.10) in BUGS