Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 1999-09-02 12:34:39 -0700 (Thu, 02 Sep 1999)
Revision: 2810
Log message:

      Added some new BUGS and things TODO.
      

Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 1999-09-03 16:41:50 -0700 (Fri, 03 Sep 1999)
Revision: 2811
Log message:

      Rules are automatically added to mptop toploop.  This just means
      that you can use a rule directly in a tactic without having to wrap
      it.  Rules require addresses, so they are still hard to use, but
      at least they are accessible.
      

Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 1999-09-06 17:44:30 -0700 (Mon, 06 Sep 1999)
Revision: 2812
Log message:

      Finally fixed the tutorial so that we have a derivation of
      classical first-order logic.  The HTML docs are not yet up-to-date.
      

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)