Iff | |
1 (Data Constructor) | Data.Logic.ATP.Prop |
2 (Data Constructor) | Data.Logic.ATP.Quantified, Data.Logic.ATP |
iffOps | Data.Logic.ATP.Parser, Data.Logic.ATP |
iffPrec | Data.Logic.ATP.Pretty, Data.Logic.ATP |
image | Data.Logic.ATP.Lib, Data.Logic.ATP |
Imp | |
1 (Data Constructor) | Data.Logic.ATP.Prop |
2 (Data Constructor) | Data.Logic.ATP.Quantified, Data.Logic.ATP |
impOps | Data.Logic.ATP.Parser, Data.Logic.ATP |
impPrec | Data.Logic.ATP.Pretty, Data.Logic.ATP |
InfixA | Data.Logic.ATP.Pretty, Data.Logic.ATP |
InfixL | Data.Logic.ATP.Pretty, Data.Logic.ATP |
InfixN | Data.Logic.ATP.Pretty, Data.Logic.ATP |
InfixR | Data.Logic.ATP.Pretty, Data.Logic.ATP |
int | Data.Logic.ATP |
integer | Data.Logic.ATP |
Interp | Data.Logic.ATP.FOL, Data.Logic.ATP |
IsAtom | Data.Logic.ATP.Formulas, Data.Logic.ATP |
isEmpty | Data.Logic.ATP |
IsFirstOrder | Data.Logic.ATP.FOL, Data.Logic.ATP |
IsFormula | Data.Logic.ATP.Formulas, Data.Logic.ATP |
IsFunction | Data.Logic.ATP.Term, Data.Logic.ATP |
IsLiteral | Data.Logic.ATP.Lit, Data.Logic.ATP |
IsPredicate | Data.Logic.ATP.Apply, Data.Logic.ATP |
IsPropositional | Data.Logic.ATP.Prop, Data.Logic.ATP |
IsQuantified | Data.Logic.ATP.Quantified, Data.Logic.ATP |
IsTerm | Data.Logic.ATP.Term, Data.Logic.ATP |
IsVariable | Data.Logic.ATP.Term, Data.Logic.ATP |