| Handwritten | Proofs.Proofs |
| HasCASL |
| 1 (Type/Class) | HasCASL.Logic_HasCASL |
| 2 (Data Constructor) | HasCASL.Logic_HasCASL |
| HasCASL_Sublogics | HasCASL.Logic_HasCASL |
| Haskell |
| 1 (Type/Class) | Haskell.Logic_Haskell |
| 2 (Data Constructor) | Haskell.Logic_Haskell |
| HaskellIn | Options |
| HcOpt | Options |
| Help | Options |
| HetCASLIn | Options |
| HetCASLOut | Options |
| HetOutFormat | Options |
| HetOutType | Options |
| HetcatsOpts | Options |
| Hidden | Syntax.AS_Structured |
| HideTheoremShift | Proofs.Proofs |
| Hiding | CspCASL.AS_CSP_CASL |
| HidingDef | Static.DevGraph |
| HidingOutside | Options |
| HidingThm | Static.DevGraph |
| Higher | Common.AS_Annotation |
| Hint | Common.Result |
| Horn | CASL.Sublogic |
| HsAlt |
| 1 (Type/Class) | Haskell.Hatchet.HsSyn |
| 2 (Data Constructor) | Haskell.Hatchet.HsSyn |
| HsApp | Haskell.Hatchet.HsSyn |
| HsAsPat | Haskell.Hatchet.HsSyn |
| HsAssoc | Haskell.Hatchet.HsSyn |
| HsAssocLeft | Haskell.Hatchet.HsSyn |
| HsAssocNone | Haskell.Hatchet.HsSyn |
| HsAssocRight | Haskell.Hatchet.HsSyn |
| HsAsst | Haskell.Hatchet.HsSyn |
| HsAxiomBind | Haskell.Hatchet.HsSyn |
| HsBangType | Haskell.Hatchet.HsSyn |
| HsBangedTy | Haskell.Hatchet.HsSyn |
| HsCase | Haskell.Hatchet.HsSyn |
| HsChar | Haskell.Hatchet.HsSyn |
| HsCharPrim | Haskell.Hatchet.HsSyn |
| HsClassDecl | Haskell.Hatchet.HsSyn |
| HsCon | Haskell.Hatchet.HsSyn |
| HsConDecl |
| 1 (Type/Class) | Haskell.Hatchet.HsSyn |
| 2 (Data Constructor) | Haskell.Hatchet.HsSyn |
| HsContext | Haskell.Hatchet.HsSyn |
| HsDataDecl | Haskell.Hatchet.HsSyn |
| HsDecl | Haskell.Hatchet.HsSyn |
| HsDecls | Haskell.HatParser |
| HsDefaultDecl | Haskell.Hatchet.HsSyn |
| HsDo | Haskell.Hatchet.HsSyn |
| HsDoublePrim | Haskell.Hatchet.HsSyn |
| HsEAbs | Haskell.Hatchet.HsSyn |
| HsEModuleContents | Haskell.Hatchet.HsSyn |
| HsEThingAll | Haskell.Hatchet.HsSyn |
| HsEThingWith | Haskell.Hatchet.HsSyn |
| HsEVar | Haskell.Hatchet.HsSyn |
| HsEnumFrom | Haskell.Hatchet.HsSyn |
| HsEnumFromThen | Haskell.Hatchet.HsSyn |
| HsEnumFromThenTo | Haskell.Hatchet.HsSyn |
| HsEnumFromTo | Haskell.Hatchet.HsSyn |
| HsExp | Haskell.Hatchet.HsSyn |
| HsExpTypeSig | Haskell.Hatchet.HsSyn |
| HsExportSpec | Haskell.Hatchet.HsSyn |
| HsFieldUpdate |
| 1 (Type/Class) | Haskell.Hatchet.HsSyn |
| 2 (Data Constructor) | Haskell.Hatchet.HsSyn |
| HsFloatPrim | Haskell.Hatchet.HsSyn |
| HsFrac | Haskell.Hatchet.HsSyn |
| HsFunBind | Haskell.Hatchet.HsSyn |
| HsGenerator | Haskell.Hatchet.HsSyn |
| HsGuardedAlt |
| 1 (Type/Class) | Haskell.Hatchet.HsSyn |
| 2 (Data Constructor) | Haskell.Hatchet.HsSyn |
| HsGuardedAlts |
| 1 (Type/Class) | Haskell.Hatchet.HsSyn |
| 2 (Data Constructor) | Haskell.Hatchet.HsSyn |
| HsGuardedRhs |
| 1 (Type/Class) | Haskell.Hatchet.HsSyn |
| 2 (Data Constructor) | Haskell.Hatchet.HsSyn |
| HsGuardedRhss | Haskell.Hatchet.HsSyn |
| HsIAbs | Haskell.Hatchet.HsSyn |
| HsIThingAll | Haskell.Hatchet.HsSyn |
| HsIThingWith | Haskell.Hatchet.HsSyn |
| HsIVar | Haskell.Hatchet.HsSyn |
| HsIdent | Haskell.Hatchet.HsSyn |
| HsIf | Haskell.Hatchet.HsSyn |
| HsImportDecl |
| 1 (Type/Class) | Haskell.Hatchet.HsSyn |
| 2 (Data Constructor) | Haskell.Hatchet.HsSyn |
| HsImportSpec | Haskell.Hatchet.HsSyn |
| HsInfixApp | Haskell.Hatchet.HsSyn |
| HsInfixDecl | Haskell.Hatchet.HsSyn |
| HsInstDecl | Haskell.Hatchet.HsSyn |
| HsInt | Haskell.Hatchet.HsSyn |
| HsIntPrim | Haskell.Hatchet.HsSyn |
| HsIrrPat | Haskell.Hatchet.HsSyn |
| HsLambda | Haskell.Hatchet.HsSyn |
| HsLeftSection | Haskell.Hatchet.HsSyn |
| HsLet | Haskell.Hatchet.HsSyn |
| HsLetStmt | Haskell.Hatchet.HsSyn |
| HsList | Haskell.Hatchet.HsSyn |
| HsListComp | Haskell.Hatchet.HsSyn |
| HsLit | Haskell.Hatchet.HsSyn |
| HsLitLit | Haskell.Hatchet.HsSyn |
| HsLiteral | Haskell.Hatchet.HsSyn |
| HsMatch |
| 1 (Type/Class) | Haskell.Hatchet.HsSyn |
| 2 (Data Constructor) | Haskell.Hatchet.HsSyn |
| HsModule |
| 1 (Type/Class) | Haskell.Hatchet.HsSyn |
| 2 (Data Constructor) | Haskell.Hatchet.HsSyn |
| HsName | Haskell.Hatchet.HsSyn |
| HsNegApp | Haskell.Hatchet.HsSyn |
| HsNewTypeDecl | Haskell.Hatchet.HsSyn |
| HsPApp | Haskell.Hatchet.HsSyn |
| HsPAsPat | Haskell.Hatchet.HsSyn |
| HsPFieldPat | Haskell.Hatchet.HsSyn |
| HsPInfixApp | Haskell.Hatchet.HsSyn |
| HsPIrrPat | Haskell.Hatchet.HsSyn |
| HsPList | Haskell.Hatchet.HsSyn |
| HsPLit | Haskell.Hatchet.HsSyn |
| HsPNeg | Haskell.Hatchet.HsSyn |
| HsPParen | Haskell.Hatchet.HsSyn |
| HsPRec | Haskell.Hatchet.HsSyn |
| HsPTuple | Haskell.Hatchet.HsSyn |
| HsPVar | Haskell.Hatchet.HsSyn |
| HsPWildCard | Haskell.Hatchet.HsSyn |
| HsParen | Haskell.Hatchet.HsSyn |
| HsPat | Haskell.Hatchet.HsSyn |
| HsPatBind | Haskell.Hatchet.HsSyn |
| HsPatField | Haskell.Hatchet.HsSyn |
| HsQName | Haskell.Hatchet.HsSyn |
| HsQualType |
| 1 (Type/Class) | Haskell.Hatchet.HsSyn |
| 2 (Data Constructor) | Haskell.Hatchet.HsSyn |
| HsQualifier | Haskell.Hatchet.HsSyn |
| HsRecConstr | Haskell.Hatchet.HsSyn |
| HsRecDecl | Haskell.Hatchet.HsSyn |
| HsRecUpdate | Haskell.Hatchet.HsSyn |
| HsRhs | Haskell.Hatchet.HsSyn |
| HsRightSection | Haskell.Hatchet.HsSyn |
| HsSpecial | Haskell.Hatchet.HsSyn |
| HsStmt | Haskell.Hatchet.HsSyn |
| HsString | Haskell.Hatchet.HsSyn |
| HsStringPrim | Haskell.Hatchet.HsSyn |
| HsSymbol | Haskell.Hatchet.HsSyn |
| HsTuple | Haskell.Hatchet.HsSyn |
| HsTyApp | Haskell.Hatchet.HsSyn |
| HsTyCon | Haskell.Hatchet.HsSyn |
| HsTyFun | Haskell.Hatchet.HsSyn |
| HsTyTuple | Haskell.Hatchet.HsSyn |
| HsTyVar | Haskell.Hatchet.HsSyn |
| HsType | Haskell.Hatchet.HsSyn |
| HsTypeDecl | Haskell.Hatchet.HsSyn |
| HsTypeSig | Haskell.Hatchet.HsSyn |
| HsUnBangedTy | Haskell.Hatchet.HsSyn |
| HsUnGuardedAlt | Haskell.Hatchet.HsSyn |
| HsUnGuardedRhs | Haskell.Hatchet.HsSyn |
| HsUnQualType | Haskell.Hatchet.HsSyn |
| HsVar | Haskell.Hatchet.HsSyn |
| HsWildCard | Haskell.Hatchet.HsSyn |
| hStuff | Haskell.Wrapper |
| hang |
| 1 (Function) | Common.Lib.Pretty |
| 2 (Function) | Haskell.Hatchet.PPrint, Haskell.Hatchet.Pretty |
| hang_latex | Common.LaTeX_funs, Common.PPUtils |
| hasCaslItemAux | HasCASL.ParseItem |
| hasCaslItemList | HasCASL.ParseItem |
| hasCaslStartKeywords | HasCASL.ParseTerm |
| hasErrors | Common.Result |
| has_cons | CASL.Sublogic |
| has_eq | CASL.Sublogic |
| has_part | CASL.Sublogic |
| has_pred | CASL.Sublogic |
| has_sub | CASL.Sublogic |
| hascasl_reserved_ops | HasCASL.HToken |
| hascasl_reserved_words | HasCASL.HToken |
| hascasl_type_ops | HasCASL.HToken |
| hatParser | Haskell.HatParser |
| hcKeys | HasCASL.HToken |
| hc_sty_annotation | Common.LaTeX_funs, Common.PPUtils |
| hc_sty_axiom | Common.LaTeX_funs, Common.PPUtils |
| hc_sty_casl_keyword | Common.PPUtils |
| hc_sty_comment | Common.LaTeX_funs, Common.PPUtils |
| hc_sty_hetcasl_keyword | Common.LaTeX_funs, Common.PPUtils |
| hc_sty_id | Common.LaTeX_funs, Common.PPUtils |
| hc_sty_keyword | Common.LaTeX_funs, Common.PPUtils |
| hc_sty_plain_keyword | Common.LaTeX_funs, Common.PPUtils |
| hc_sty_sig_item_keyword | CASL.Print_AS_Basic |
| hc_sty_small_keyword | Common.LaTeX_funs, Common.PPUtils |
| hc_sty_structid | Common.LaTeX_funs, Common.PPUtils |
| hc_sty_structid_indexed | Common.LaTeX_funs, Common.PPUtils |
| hcat |
| 1 (Function) | Common.Lib.Pretty |
| 2 (Function) | Haskell.Hatchet.PPrint, Haskell.Hatchet.Pretty |
| hconsId | HasCASL.HToken |
| headPos | Common.Id |
| hetcatsOpts | Options |
| hetcats_version | Version |
| hetsError | Options |
| hetsUsage | Options |
| hexDigit | Common.Lib.Parsec, Common.Lib.Parsec.Char |
| hexEscape | Common.Lexer |
| hidRenProcess | CspCASL.Parse_hugo |
| hideS | Common.Keywords |
| hideSetOfNodeTypes | GUI.AbstractGraphView |
| hideedges | GUI.AbstractGraphView |
| hideedgesaux | GUI.AbstractGraphView |
| hideedgetype | GUI.AbstractGraphView |
| hidenodes | GUI.AbstractGraphView |
| hidenodesaux | GUI.AbstractGraphView |
| hidenodetype | GUI.AbstractGraphView |
| hidingS | CspCASL.CCKeywords |
| hidingT | CspCASL.CCLexer |
| hiding_name | Haskell.Hatchet.HsSyn |
| homogeneousGsigManyUnion | Logic.Grothendieck |
| homogeneousGsigUnion | Logic.Grothendieck |
| homogeneousMorManyUnion | Logic.Grothendieck |
| homogenizeGM | Syntax.AS_Structured |
| hsep |
| 1 (Function) | Common.Lib.Pretty |
| 2 (Function) | Haskell.Hatchet.PPrint, Haskell.Hatchet.Pretty |
| hspace_latex | Common.PPUtils, Common.Print_AS_Annotation |
