[T2] ================================================ AMAST Links 02 07

                         OTTER Release 3.0.4

   The full version of this announcement is available at URL:
   http://www.cs.utwente.nl/data/amast/links/v02/i07/full/AC0207T2.txt

  I have just released Otter 3.0.4.  There are very few changes to the
ordinary features, and there are no substantial performance
improvements, so many users won't need to upgrade.  To help you
decide, I have included two things: (1) short document on the new
features, and (2) my file "Changelog" of notes on bug fixes and other
changes.

  You can obtain OTTER by anonymous ftp from URL:

   ftp://info.mcs.anl.gov/pub/Otter/otter-3.0.4.tar.Z

  You may get _information on DOS and Macintosh versions_ from URL:

   ftp://info.mcs.anl.gov/pub/Otter/README

  Also, visit our WWW page on automated deduction at Argonne, URL:

   http://www.mcs.anl.gov/home/mccune/ar

  Bill McCune