Index - H
| hang | Theory.Text.Pretty |
| HasFrees | Theory.Model, Theory |
| hashMaudeSig | Theory.Model, Theory |
| HasRuleName | Theory.Model.Rule, Theory.Model, Theory |
| hcat | Theory.Text.Pretty |
| Heuristic | Theory.Constraint.Solver.ProofMethod, Theory.Constraint.Solver, Theory.Proof, Theory |
| highlight | Theory.Text.Pretty |
| HighlightDocument | Theory.Text.Pretty |
| HighlightStyle | Theory.Text.Pretty |
| hsep | Theory.Text.Pretty |