The full version of this announcement is available.
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 .
You may get information on DOS and Macintosh versions .
Also, visit our WWW page on automated deduction at Argonne.
Bill McCune