
            Otter 3.0 -- Automated Deduction System

There are no restrictions on copying or distributing this software.
