empty | Data.Logic.ATP |
entailsOps | Data.Logic.ATP.Parser, Data.Logic.ATP |
EqAtom | Data.Logic.ATP.Equate, Data.Logic.ATP |
EqFormula | Data.Logic.ATP.FOL, Data.Logic.ATP |
eqPrec | Data.Logic.ATP.Pretty, Data.Logic.ATP |
equalitize | Data.Logic.ATP.Equal, Data.Logic.ATP |
Equals | Data.Logic.ATP.Equate, Data.Logic.ATP |
equals | Data.Logic.ATP |
equate | Data.Logic.ATP.Equate, Data.Logic.ATP |
equateOps | Data.Logic.ATP.Parser, Data.Logic.ATP |
errors | Data.Logic.ATP |
eval | Data.Logic.ATP.Prop, Data.Logic.ATP |
evalRS | Data.Logic.ATP.Lib, Data.Logic.ATP |
existentialQuantifier | Data.Logic.ATP.Parser, Data.Logic.ATP |
Exists | Data.Logic.ATP.Quantified, Data.Logic.ATP |
exists | Data.Logic.ATP.Quantified, Data.Logic.ATP |
existsIds | Data.Logic.ATP.Parser, Data.Logic.ATP |
existsOps | Data.Logic.ATP.Parser, Data.Logic.ATP |