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