can | Data.Logic.ATP.Lib, Data.Logic.ATP |
cases | Data.Logic.ATP |
cat | Data.Logic.ATP |
char | Data.Logic.ATP |
Chr | Data.Logic.ATP |
cnf' | Data.Logic.ATP.Prop, Data.Logic.ATP |
cnf_ | Data.Logic.ATP.Prop, Data.Logic.ATP |
colon | Data.Logic.ATP |
comma | Data.Logic.ATP.Pretty, Data.Logic.ATP |
compete | Data.Logic.ATP.Lib, Data.Logic.ATP |
constants | Data.Logic.ATP.Parser, Data.Logic.ATP |
convertApply | Data.Logic.ATP.Apply, Data.Logic.ATP |
convertEquate | Data.Logic.ATP.Equate, Data.Logic.ATP |
convertLiteral | Data.Logic.ATP.Lit, Data.Logic.ATP |
convertPropositional | Data.Logic.ATP.Prop, Data.Logic.ATP |
convertQuantified | Data.Logic.ATP.Quantified, Data.Logic.ATP |
convertTerm | Data.Logic.ATP.Term, Data.Logic.ATP |
convertToLiteral | Data.Logic.ATP.Lit, Data.Logic.ATP |
convertToPropositional | Data.Logic.ATP.Prop, Data.Logic.ATP |
Counts | |
1 (Data Constructor) | Data.Logic.ATP |
2 (Type/Class) | Data.Logic.ATP |
counts | Data.Logic.ATP |