Index - A
| ai | Data.Logic.ATP.DefCNF, Data.Logic.ATP |
| allIds | Data.Logic.ATP.Parser, Data.Logic.ATP |
| allnonemptysubsets | Data.Logic.ATP.Lib, Data.Logic.ATP |
| allOps | Data.Logic.ATP.Parser, Data.Logic.ATP |
| allpairs | Data.Logic.ATP.Lib, Data.Logic.ATP |
| allsatvaluations | Data.Logic.ATP.Prop, Data.Logic.ATP |
| allsets | Data.Logic.ATP.Lib, Data.Logic.ATP |
| allsubsets | Data.Logic.ATP.Lib, Data.Logic.ATP |
| And | |
| 1 (Data Constructor) | Data.Logic.ATP.Prop |
| 2 (Data Constructor) | Data.Logic.ATP.Quantified, Data.Logic.ATP |
| andOps | Data.Logic.ATP.Parser, Data.Logic.ATP |
| andPrec | Data.Logic.ATP.Pretty, Data.Logic.ATP |
| AP | Data.Logic.ATP.Apply, Data.Logic.ATP |
| ApAtom | Data.Logic.ATP.Apply, Data.Logic.ATP |
| ApFormula | Data.Logic.ATP.FOL, Data.Logic.ATP |
| apply | Data.Logic.ATP.Lib, Data.Logic.ATP |
| applyPredicate | Data.Logic.ATP.Apply, Data.Logic.ATP |
| Arity | Data.Logic.ATP.Term, Data.Logic.ATP |
| asBool | Data.Logic.ATP.Formulas, Data.Logic.ATP |
| askolemize | Data.Logic.ATP.Skolem, Data.Logic.ATP |
| assert | Data.Logic.ATP |
| Assertable | Data.Logic.ATP |
| assertBool | Data.Logic.ATP |
| assertEqual | Data.Logic.ATP |
| assertEqual' | Data.Logic.ATP.Pretty, Data.Logic.ATP |
| assertFailure | Data.Logic.ATP |
| Assertion | Data.Logic.ATP |
| AssertionPredicable | Data.Logic.ATP |
| AssertionPredicate | Data.Logic.ATP |
| assertionPredicate | Data.Logic.ATP |
| assertString | Data.Logic.ATP |
| Associativity | Data.Logic.ATP.Pretty, Data.Logic.ATP |
| associativity | Data.Logic.ATP.Pretty, Data.Logic.ATP |
| associativityEquate | Data.Logic.ATP.Equate, Data.Logic.ATP |
| associativityLiteral | Data.Logic.ATP.Lit, Data.Logic.ATP |
| associativityPropositional | Data.Logic.ATP.Prop, Data.Logic.ATP |
| associativityQuantified | Data.Logic.ATP.Quantified, Data.Logic.ATP |
| associativityTerm | Data.Logic.ATP.Term, Data.Logic.ATP |
| asubst | Data.Logic.ATP.FOL, Data.Logic.ATP |
| Atom | |
| 1 (Data Constructor) | Data.Logic.ATP.Lit |
| 2 (Data Constructor) | Data.Logic.ATP.Prop |
| 3 (Type/Class) | Data.Logic.ATP.DefCNF, Data.Logic.ATP |
| 4 (Data Constructor) | Data.Logic.ATP.Quantified, Data.Logic.ATP |
| atomFuncs | Data.Logic.ATP.Apply, Data.Logic.ATP |
| atomic | Data.Logic.ATP.Formulas, Data.Logic.ATP |
| AtomOf | Data.Logic.ATP.Formulas, Data.Logic.ATP, Data.Logic.ATP |
| atomPrec | Data.Logic.ATP.Pretty, Data.Logic.ATP |
| atoms | Data.Logic.ATP.Prop, Data.Logic.ATP |
| atom_union | Data.Logic.ATP.Formulas, Data.Logic.ATP |