hang | Data.Logic.ATP |
HasApply | Data.Logic.ATP.Apply, Data.Logic.ATP |
HasEquate | Data.Logic.ATP.Equate, Data.Logic.ATP |
HasFixity | Data.Logic.ATP.Pretty, Data.Logic.ATP |
HasSkolem | Data.Logic.ATP.Skolem, Data.Logic.ATP |
hcat | Data.Logic.ATP.Pretty, Data.Logic.ATP |
herbfuns | Data.Logic.ATP.Herbrand, Data.Logic.ATP |
herbloop | Data.Logic.ATP.Herbrand, Data.Logic.ATP |
holds | Data.Logic.ATP.FOL, Data.Logic.ATP |
holdsAtom | Data.Logic.ATP.FOL, Data.Logic.ATP |
holdsQuantified | Data.Logic.ATP.FOL, Data.Logic.ATP |
hsep | Data.Logic.ATP |