Changes by: Alexei Kopylov (kopylov at cs.caltech.edu)
Date: 1999-09-27 11:07:30 -0700 (Mon, 27 Sep 1999)
Revision: 2814
Log message:
The rule interactive bunionElimination in the theory itt_bunion is not correct.
(This is a result of non-understanding hidden hypothesis)
| Changes | Path |
| +3 -1 | metaprl/BUGS |