elimAndL | Logic.Propositional, GDP |
elimAndR | Logic.Propositional, GDP |
elimEx | Logic.Propositional, GDP |
elimImpl | Logic.Propositional, GDP |
elimNot | Logic.Propositional, GDP |
elimNotNot | Logic.Propositional, GDP |
elimOr | Logic.Propositional, GDP |
elimOrL | Logic.Propositional, GDP |
elimOrR | Logic.Propositional, GDP |
elimUniv | Logic.Propositional, GDP |
elim_inj | Logic.Classes, GDP |
Equals | Theory.Equality, GDP |
Exists | Logic.Propositional, GDP |
exorcise | Data.Refined, GDP |