
            Otter 3.0.x -- Automated Deduction System

This is public domain software, with no restrictions on copying or
redistribution.  Use it, or any of its parts, however you wish.
Of course, there are absolutely no warranties of any kind.

  William McCune
  mccune@mcs.anl.gov
