A
B
C
D
E
F
G
H
I
J
K
L
M
N
O
P
Q
R
S
T
U
V
W
X
Y
Z
#
$
&
+
/
<
>
\
^
|
_
All

Index - H

hand1	GUI.HTkUtils
hand2	GUI.HTkUtils
handleGabs	Comorphisms.HolLight2Isabelle
Handwritten	Static.GTheory
hang	Common.Lib.Pretty
hardTimeLimit	TPTP.Prover.Common
hasAlias	HasCASL.TypeAna
HasAlign	GUI.HTkUtils
HasAnchor	GUI.HTkUtils
hasAngles	Common.IRI
HasArcTypeConfigs	GUI.UDGUtils
hasBackGroundColour	GUI.HTkUtils
HasBBox	GUI.HTkUtils
HasBitMap	GUI.HTkUtils
HasBorder	GUI.HTkUtils
HasCanvAnchor	GUI.HTkUtils
HasCASL
1 (Type/Class)	HasCASL.Logic_HasCASL
2 (Data Constructor)	HasCASL.Logic_HasCASL
hascasl	PGIP.Server.Examples
HasCASL2HasCASL
1 (Type/Class)	Comorphisms.HasCASL2HasCASL
2 (Data Constructor)	Comorphisms.HasCASL2HasCASL
HasCASL2IsabelleHOL
1 (Type/Class)	Comorphisms.HasCASL2IsabelleHOL
2 (Data Constructor)	Comorphisms.HasCASL2IsabelleHOL
HasCASL2PCoClTyConsHOL
1 (Type/Class)	Comorphisms.HasCASL2PCoClTyConsHOL
2 (Data Constructor)	Comorphisms.HasCASL2PCoClTyConsHOL
HasCASL2THFP_P
1 (Type/Class)	Comorphisms.HasCASL2THFP_P
2 (Data Constructor)	Comorphisms.HasCASL2THFP_P
hasCaslStartKeywords	HasCASL.ParseTerm
hascasl_reserved_ops	HasCASL.HToken
hascasl_reserved_tops	HasCASL.HToken
hascasl_reserved_words	HasCASL.HToken
hascasl_type_ops	HasCASL.HToken
hasCoFeature	CoCASL.Sublogic
HasColour	GUI.HTkUtils
HasCommand	GUI.HTkUtils
HasConfig	GUI.UDGUtils, GUI.HTkUtils
HasConfigRadioButton	GUI.HTkUtils
HasConfigValue	GUI.UDGUtils
HasCoords	GUI.HTkUtils
HasEnable	GUI.HTkUtils
hasEnvOut	Driver.Options
hasError
1 (Function)	Taxonomy.MMiSSOntology
2 (Function)	GUI.HTkUtils
hasErrors	Common.Result
HasEvent	GUI.HTkUtils
HasFile	GUI.HTkUtils
hasFixPoints	ExtModal.Sublogic
HasFont	GUI.HTkUtils
hasForeGroundColour	GUI.HTkUtils
hasFrameAxioms	ExtModal.Sublogic
hasFullIRI	Common.IRI
HasGeometry	GUI.HTkUtils
HasGraphConfigs	GUI.UDGUtils
HasGrid	GUI.HTkUtils
HASH	GUI.HTkUtils
hasIdentAnno	Common.AS_Annotation
HasIncrement	GUI.HTkUtils
HasIndex	GUI.HTkUtils
HasInst	Logic.Logic
HasInstance	Syntax.AS_Structured
HasJustify	GUI.HTkUtils
HaskellIn	Driver.Options
HaskellOut	Driver.Options
HaskellTk	GUI.HTkUtils
HasKey	OWL2.AS
hasKeyAxiomsToCFDoc	OWL2.PrintMS
hasKeyC	OWL2.ColonKeywords
hasKeyK	OWL2.XMLKeywords
hasKeyS	OWL2.ASKeywords
HasKeySection	OWL2.PrintMS
HasLabels	Maude.Meta.HasLabels, Maude.Meta
HasLineSpacing	GUI.HTkUtils
hasLocalQN	Common.XUpdate
hasLock	Static.DevGraph
hasMany	Common.Utils
HasMenu	GUI.HTkUtils
hasModalities	ExtModal.Sublogic
hasModelExpansion	Logic.Comorphism
HasModifyValue	GUI.UDGUtils
HasName	Maude.Meta.HasName, Maude.Meta
hasName	FreeCAD.Translator
HasNodeModifies	GUI.UDGUtils
HasNodeTypeConfigs	GUI.UDGUtils
hasNominals	ExtModal.Sublogic
hasOneSort	Maude.PreComorphism
hasOpenConsStatus	Static.DgUtils
hasOpenGoals	Static.DevGraph
hasOpenNodeConsStatus	Static.DevGraph
HasOps	Maude.Meta.HasOps, Maude.Meta
HasOrientation	GUI.HTkUtils
hasOutgoingFreeEdge	Static.DevGraph
HasPhoto	GUI.HTkUtils
HasPosition
1 (Type/Class)	TIP.AbsTIP
2 (Type/Class)	GUI.HTkUtils
hasPosition	TIP.AbsTIP
HasPostscript	GUI.HTkUtils
hasPrfOut	Driver.Options
hasProdT	Comorphisms.THFP2THF0
hasProverKind	Logic.Prover
HasReceive	GUI.HTkUtils
hasRightCond	CspCASL.Print_CspCASL
hasRightQuant	HasCASL.PrintAs
hasS	OWL2.Keywords
HasScroller	GUI.HTkUtils
HasSelection	GUI.HTkUtils
HasSelectionBaseIndex	GUI.HTkUtils
HasSelectionBaseIndexRange	GUI.HTkUtils
HasSelectionIndex	GUI.HTkUtils
HasSelectionIndexRange	GUI.HTkUtils
HasSend	GUI.HTkUtils
hasSenKind	Static.DevGraph
hasSimp	Isabelle.IsaParse
HasSimpleSource	GUI.UDGUtils
HasSize	GUI.HTkUtils
hasSlash	CMDL.Interface
HasSlider	GUI.HTkUtils
hasSort	CASL.Sign
HasSorts	Maude.Meta.HasSorts, Maude.Meta
HasSource	GUI.UDGUtils
hasStability	Logic.PrintLogics
HasTabulators	GUI.HTkUtils
hasTermMods	ExtModal.Sublogic
HasText	GUI.HTkUtils
hasTimeMods	ExtModal.Sublogic
HasTooltip	GUI.HTkUtils
hasTransClos	ExtModal.Sublogic
hasType	DFOL.Sign
HasUnderline	GUI.HTkUtils
HasValue	GUI.HTkUtils
hasValue
1 (Function)	Common.Item
2 (Function)	Taxonomy.MMiSSOntology
3 (Function)	GUI.HTkUtils
HasVariable	GUI.HTkUtils
has_cons	CASL.Sublogic
has_empty_sorts	CASL.Sublogic
has_eq
1 (Function)	CASL.Sublogic
2 (Function)	HasCASL.Sublogic
has_model_expansion	Logic.Comorphism
has_part
1 (Function)	CASL.Sublogic
2 (Function)	HasCASL.Sublogic
has_polymorphism	HasCASL.Sublogic
has_pred
1 (Function)	CASL.Sublogic
2 (Function)	HasCASL.Sublogic
has_products	HasCASL.Sublogic
has_sub
1 (Function)	CASL.Sublogic
2 (Function)	HasCASL.Sublogic
has_type_constructors	HasCASL.Sublogic
haveCommonSubsorts	CASL.Overload
haveCommonSupersorts	CASL.Overload
haveCommonSupertype	HasCASL.MinType
hBasic	Hybrid.Parse_AS
hcat
1 (Function)	Common.Lib.Pretty
2 (Function)	Common.Doc
hcKeys	HasCASL.HToken
hcKeysFew	HasCASL.HToken
hconsId	HasCASL.HToken
HcOpt	Driver.Options
hc_sty_axiom	Common.LaTeX_funs
hc_sty_casl_keyword	Common.LaTeX_funs
hc_sty_id	Common.LaTeX_funs
hc_sty_plain_keyword	Common.LaTeX_funs
hc_sty_small_keyword	Common.LaTeX_funs
hc_sty_structid	Common.LaTeX_funs
hc_sty_structid_indexed	Common.LaTeX_funs
Head
1 (Type/Class)	GUI.UDGUtils
2 (Data Constructor)	GUI.UDGUtils
3 (Type/Class)	OWL2.AS
4 (Type/Class)	TIP.AbsTIP
head	Common.Lib.SizedList
Header
1 (Type/Class)	Common.Lib.Tabular
2 (Data Constructor)	Common.Lib.Tabular
header	Isabelle.IsaSign
headerContents	Common.Lib.Tabular
headerS	Isabelle.IsaConsts
headPT	Isabelle.IsaConsts
headS	OWL2.ASKeywords
headToType	CASL.StaticAna
headToTypeM	CASL.StaticAna
height	GUI.HTkUtils
HelpCmd	Interfaces.Command
Helvetica	GUI.HTkUtils
Here
1 (Data Constructor)	Hybrid.AS_Hybrid
2 (Data Constructor)	TopHybrid.AS_TopHybrid
hereP	Common.Keywords
hereS	ExtModal.Keywords
hermitConsChecker	OWL2.ProveHermit
hermitEnv	OWL2.ProveHermit
hermitJar	OWL2.ProveHermit
hermitProver	OWL2.ProveHermit
HetCASLIn	Driver.Options
HetcatsOpts	Driver.Options
hetcatsOpts
1 (Function)	Driver.Options
2 (Function)	GUI.GraphTypes
HetDef	Static.DgUtils
Heterogeneity	Interfaces.Command
hetIRI	Syntax.Parse_AS_Structured
hetMorToSSexpr	Proofs.VSE
HETS	LF.Twelf2GR
Hets
1 (Type/Class)	Persistence.Schema
2 (Data Constructor)	Persistence.Schema
hetsCss	PGIP.Server.WebAssets
hetsEnv	LF.Twelf2GR
HetsId
1 (Type/Class)	Persistence.Schema
2 (Data Constructor)	Persistence.Schema
hetsIOError	Driver.Options
hetsJs	PGIP.Server.WebAssets
HetsKey	Persistence.Schema
hetsKey	Persistence.Schema
HetsKey'	Persistence.Schema
hetsOptions	OMDoc.Import
hetsOpts	CMDL.DataTypes
hetsOWLenv	Common.ProverTools
hetsServer	PGIP.Server
hetsTags	Common.XmlDiff
HetsTime
1 (Type/Class)	Common.Timing
2 (Data Constructor)	Common.Timing
HetSublogicGraph
1 (Type/Class)	Comorphisms.HetLogicGraph
2 (Data Constructor)	Comorphisms.HetLogicGraph
hetSublogicGraph	Comorphisms.HetLogicGraph
HetsValue	Persistence.Schema
hetsValue	Persistence.Schema
hetsVersion	Driver.Version
hetsVersionNumeric	Driver.Version
hetsXmlChanges	Common.XmlDiff
hetsXmlDiff	Common.XmlDiff
hetWeakAmalgCocone	Static.WACocone
hexBinaryS	OWL2.Keywords
hexEscape	Common.Lexer
Hidden	Syntax.AS_Structured
Hide	Isabelle.IsaSign
hideCN	Isabelle.IsaConsts
hideNN	Isabelle.IsaConsts
hidenodes	Taxonomy.AbstractGraphView
hideRelSymbol	HasCASL.Symbol
hideS	Common.Keywords
hideSetOfEdgeTypes
1 (Function)	Taxonomy.AbstractGraphView
2 (Function)	GUI.GraphAbstraction
hideSetOfNodeTypes	Taxonomy.AbstractGraphView
hideSymbol	HasCASL.Symbol
HideThmShift	Interfaces.Command
Hiding
1 (Data Constructor)	CspCASL.AS_CspCASL_Process
2 (Data Constructor)	Interfaces.Command
HidingDef
1 (Data Constructor)	Persistence.Schema.MappingType
2 (Data Constructor)	Static.DgUtils
HidingDefLink	Static.DevGraph
HidingFreeOrCofreeThm	Static.DevGraph
hidingLabelWarning	Proofs.EdgeUtils
HidingOpen	Persistence.Schema.MappingType
HidingProved	Persistence.Schema.MappingType
HidingThm	Static.DgUtils
hidingThm	Static.DevGraph
hidingWarning	Proofs.EdgeUtils
hiding_proc	Common.Doc
hiding_procS	Common.Keywords
hierPartWithOpts	OWL2.Parse
Higher	Common.AS_Annotation
highpowS	CSL.Keywords
hin	PGIP.XMLstate
Hint
1 (Data Constructor)	Common.Result
2 (Data Constructor)	Persistence.Schema.Enums
hint	Common.Result
HistElem
1 (Type/Class)	Static.DevGraph
2 (Data Constructor)	Static.DevGraph
HistGroup	Static.DevGraph
hItem''	Hybrid.Parse_AS
hithertoS	ExtModal.Keywords
hKey	Hybrid.Parse_AS
hKey'	Hybrid.Parse_AS
HOL	HasCASL.Sublogic
holcfS	Isabelle.IsaStrings
HOLCF_thy	Isabelle.IsaSign
HolLight
1 (Type/Class)	HolLight.Logic_HolLight
2 (Data Constructor)	HolLight.Logic_HolLight
HolLight2Isabelle
1 (Type/Class)	Comorphisms.HolLight2Isabelle
2 (Data Constructor)	Comorphisms.HolLight2Isabelle
HolLightIn	Driver.Options
HolLightMorphism	HolLight.Logic_HolLight
HolLightSL	HolLight.Sublogic
HolParseType	HolLight.Term
HolProof	HolLight.Term
HolTermInfo
1 (Type/Class)	HolLight.Term
2 (Data Constructor)	HolLight.Term
HolType	HolLight.Term
holType	Isabelle.IsaConsts
Home	CASL.CompositionTable.ModelFormula
homGsigDiff	Logic.Grothendieck
homing	CASL.CompositionTable.CompositionTable
homingOperationS	CASL.CompositionTable.Keywords
homogeneousMorManyUnion	Logic.Grothendieck
homogeniseDiagram	Static.ArchDiagram
homogeniseGDiagram	Static.GTheory
homogeniseSink	Static.GTheory
homogenizeGM	Static.AnalysisStructured
Hook	Maude.AS_Maude
HorCompModif
1 (Type/Class)	Logic.Modification
2 (Data Constructor)	Logic.Modification
horCompModification	Logic.Modification
Horizontal
1 (Data Constructor)	Static.XSimplePath
2 (Data Constructor)	GUI.HTkUtils
Horn
1 (Data Constructor)	CASL.Sublogic
2 (Data Constructor)	HasCASL.Sublogic
HornClause
1 (Data Constructor)	Propositional.Sublogic
2 (Data Constructor)	QBF.Sublogic
HornFormula	Propositional.Sublogic
host	Persistence.DBConfig
hourglass	GUI.HTkUtils
hout	PGIP.XMLstate
hsep
1 (Function)	Common.Lib.Pretty
2 (Function)	Common.Doc
hsg_union	Comorphisms.HetLogicGraph
HsHOLCF_thy	Isabelle.IsaSign
HsHOL_thy	Isabelle.IsaSign
HSign	Hybrid.Logic_Hybrid
HTk	GUI.HTkUtils
htmlC	PGIP.Output.Mime
HtmlIn	Driver.Options
httpRequestHeaders	Driver.Options
hXmlAbs2IsaTerm	Isabelle.IsaImport
hXmlApp2IsaTerm	Isabelle.IsaImport
hXmlAxiom2IsaAxiom	Isabelle.IsaImport
hXmlBody_2IsaSentence	Isabelle.IsaImport
hXmlClass2IsaClass	Isabelle.IsaImport
hXmlConst2IsaTerm	Isabelle.IsaImport
hXmlCtxt2IsaCtxt	Isabelle.IsaImport
hXmlDatatype2IsaDatatype	Isabelle.IsaImport
hXmlDomain2IsaDomain	Isabelle.IsaImport
hXmlFixrecEquation2IsaFixrecEquation	Isabelle.IsaImport
hXmlMixfix2IsaMixfix	Isabelle.IsaImport
hXmlOneOf3_2IsaTyp	Isabelle.IsaImport
hXmlOneOf4_2IsaMixfixTemplate	Isabelle.IsaImport
hXmlOneOf6_2IsaTerm	Isabelle.IsaImport
hXmlSort2IsaSort	Isabelle.IsaImport
hXmlTFree2IsaTyp	Isabelle.IsaImport
hXmlType2IsaTyp	Isabelle.IsaImport
Hybrid
1 (Data Constructor)	ExtModal.AS_ExtModal
2 (Type/Class)	Hybrid.Logic_Hybrid
3 (Data Constructor)	Hybrid.Logic_Hybrid
Hybrid2CASL
1 (Type/Class)	Comorphisms.Hybrid2CASL
2 (Data Constructor)	Comorphisms.Hybrid2CASL
HybridFORMULA	Hybrid.Logic_Hybrid
hybridFormula	Hybrid.Parse_AS
Hybridize
1 (Type/Class)	TopHybrid.Logic_TopHybrid
2 (Data Constructor)	TopHybrid.Logic_TopHybrid
HybridMor	Hybrid.Logic_Hybrid
HybridSign
1 (Type/Class)	Hybrid.HybridSign
2 (Data Constructor)	Hybrid.HybridSign
hybrid_reserved_words	Hybrid.Parse_AS
hyperConsChecker
1 (Function)	TPTP.ProveHyper
2 (Function)	SoftFOL.ProveHyperHyper
hyperProver
1 (Function)	TPTP.ProveHyper
2 (Function)	SoftFOL.ProveHyperHyper
hyperS
1 (Function)	TPTP.ProveHyper
2 (Function)	SoftFOL.ProveHyperHyper
Hypothesis
1 (Data Constructor)	SoftFOL.Sign
2 (Data Constructor)	THF.As
3 (Data Constructor)	TPTP.AS
hypotS	CSL.Keywords
H_BASIC_ITEM	Hybrid.AS_Hybrid
H_BASIC_SPEC	Hybrid.AS_Hybrid
H_FORMULA	Hybrid.AS_Hybrid
H_SIG_ITEM	Hybrid.AS_Hybrid