atp-0.1.0.0: Interface to automated theorem provers

Index - =

=/=ATP.FOL, ATP
===ATP.FOL, ATP
==>ATP.FOL, ATP