Index - H
| hasLabel | Jukebox.Name |
| hasSizeOneModel | Jukebox.Tools.HornToUnit |
| help | Jukebox.Options |
| helpText | Jukebox.Options |
| hidden | Jukebox.Options |
| HiddenMode | Jukebox.Options |
| HornFlags | |
| 1 (Type/Class) | Jukebox.Tools.HornToUnit |
| 2 (Data Constructor) | Jukebox.Tools.HornToUnit |
| hornFlags | Jukebox.Tools.HornToUnit |
| hornToUnit | Jukebox.Tools.HornToUnit |
| hornToUnitBox | Jukebox.Toolbox |
| hornToUnitIO | Jukebox.Toolbox |
| Hypothesis | |
| 1 (Data Constructor) | Jukebox.TPTP.Lexer |
| 2 (Data Constructor) | Jukebox.Form |