atp-0.1.0.0: Interface to automated theorem provers

Index - C

ClaimATP.FOL, ATP
Clause 
1 (Data Constructor)ATP.FOL, ATP
2 (Type/Class)ATP.FOL, ATP
clauseATP.FOL, ATP
Clauses 
1 (Type/Class)ATP.FOL, ATP
2 (Data Constructor)ATP.FOL, ATP
clausesATP.FOL, ATP
ClausificationATP.FOL, ATP
closeATP.FOL, ATP
closedATP.FOL, ATP
ConjectureATP.FOL, ATP
conjectureATP.FOL, ATP
Conjunction 
1 (Type/Class)ATP.FOL, ATP
2 (Data Constructor)ATP.FOL, ATP
conjunctionATP.FOL, ATP
ConnectedATP.FOL, ATP
ConnectiveATP.FOL, ATP
consequentATP.FOL, ATP
Constant 
1 (Type/Class)ATP.FOL, ATP
2 (Data Constructor)ATP.FOL, ATP
Contradiction 
1 (Type/Class)ATP.FOL, ATP
2 (Data Constructor)ATP.FOL, ATP