Changes by: Yegor N. Bryukhov (ybryukhov at gc.cuny.edu)
Date: 2003-04-07 13:02:48 -0700 (Mon, 07 Apr 2003)
Revision: 4396
Log message:
1.itt_bool - removed incorrect rule that I added earlier
2.itt_int_base - cleaning, all proofs are completed.
3.itt_int_ext - some proofs completed.