Index - H
| 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 |