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 - I

I	TPTP.AS
IArg	OWL2.AS
iauthority	OWL2.Parse
iauthorityWithPath	OWL2.Parse
ic	GUI.HTkUtils
Icon
1 (Data Constructor)	GUI.UDGUtils
2 (Type/Class)	GUI.HTkUtils
3 (Data Constructor)	GUI.HTkUtils
Iconified	GUI.HTkUtils
iconify	GUI.HTkUtils
iconMask	GUI.HTkUtils
ID
1 (Type/Class)	QBF.AS_BASIC_QBF
2 (Data Constructor)	QBF.AS_BASIC_QBF
Id
1 (Type/Class)	Common.Id
2 (Data Constructor)	Common.Id
3 (Data Constructor)	Maude.AS_Maude
id
1 (Function)	PGIP.GraphQL.Result.IdReference
2 (Function)	PGIP.GraphQL.Result.Language
3 (Function)	PGIP.GraphQL.Result.Logic
4 (Function)	PGIP.GraphQL.Result.Reasoner
5 (Function)	PGIP.GraphQL.Result.ReasonerConfiguration
6 (Function)	PGIP.GraphQL.Result.Serialization
7 (Function)	PGIP.GraphQL.Result.StringReference
8 (Function)	PGIP.GraphQL.Result.LanguageMapping
9 (Function)	PGIP.GraphQL.Result.LogicMapping
10 (Function)	PGIP.GraphQL.Result.Signature
11 (Function)	PGIP.GraphQL.Result.SignatureMorphism
id2SimpleId	Propositional.Sign
idApplDoc	Common.Doc
idComorphism	Logic.Comorphism
IdConstantMap	Comorphisms.HasCASL2THFP_P
idDoc	Common.Doc
ide	Logic.Logic
Idem
1 (Data Constructor)	HasCASL.As
2 (Data Constructor)	Maude.AS_Maude
idem	Maude.AS_Maude
ideMor	HasCASL.Morphism
ideMorphismExtension	CASL.Morphism
idemS	Common.Keywords
Idem_op_attr	CASL.AS_Basic_CASL
Iden	CASL.CompositionTable.ModelFormula
identAnno	Common.AS_Annotation
Identifier	DFOL.AS_DFOL
identifier
1 (Function)	CSL.Parse_AS_Basic
2 (Function)	CommonLogic.Lexer_CLIF
3 (Function)	SoftFOL.Sign
identify	GUI.HTkUtils
identity	Maude.Morphism
identityRelationS	CASL.CompositionTable.Keywords
ideOfDefaultMorphism	Common.DefaultMorphism
IdHook	Maude.AS_Maude
idInj	HasCASL.TypeRel
idLabelDoc	Common.Doc
idList2Subsorts	Maude.PreComorphism
IdMap
1 (Type/Class)	HasCASL.Le
2 (Type/Class)	Maude.PreComorphism
idMap	NeSyPatterns.Sign
IdModif
1 (Type/Class)	Logic.Modification
2 (Data Constructor)	Logic.Modification
idModification	Logic.Modification
idMor
1 (Function)	CSL.Morphism
2 (Function)	CASL.Morphism
3 (Function)	CommonLogic.Morphism
4 (Function)	NeSyPatterns.Morphism
5 (Function)	Propositional.Morphism
6 (Function)	QBF.Morphism
7 (Function)	RelationalScheme.Sign
8 (Function)	Temporal.Morphism
idMorph
1 (Function)	DFOL.Morphism
2 (Function)	LF.Morphism
IdMorphism
1 (Type/Class)	Logic.Morphism
2 (Data Constructor)	Logic.Morphism
idOrInclMorphism	CASL.Morphism
idRange	Common.Id
idRecord	CSL.Fold
IdReference
1 (Type/Class)	PGIP.GraphQL.Result.IdReference
2 (Data Constructor)	PGIP.GraphQL.Result.IdReference
Ids	HasCASL.AsToLe
IdSet	Comorphisms.HasCASL2THFP_P
idSetOfSig	CspCASL.StatAnaCSP
IdSets	CASL.MixfixParser
idsOf	HasCASL.TypeAna
idsOfBasicItem	HasCASL.AsToLe
idsOfBasicSpec	HasCASL.AsToLe
idsOfClassItem	HasCASL.AsToLe
idsOfKind	HasCASL.Symbol
idsOfOpItem	HasCASL.AsToLe
idsOfSigItems	HasCASL.AsToLe
ids_BASIC_SPEC	CASL.MixfixParser
ids_COALTERNATIVE	CoCASL.StatAna
ids_COCOMPONENTS	CoCASL.StatAna
ids_CODATATYPE_DECL	CoCASL.StatAna
ids_C_BASIC_ITEM	CoCASL.StatAna
ids_C_SIG_ITEM	CoCASL.StatAna
ids_DATATYPE_DECL	CASL.MixfixParser
ids_OP_ITEM	CASL.MixfixParser
ids_PRED_ITEM	CASL.MixfixParser
ids_SIG_ITEMS	CASL.MixfixParser
idToAnonIRI	OWL2.Translate
idToAnonNumberedIRI	OWL2.Translate
idToClassSymbol	HasCASL.Le
idToCspRaw	CspCASL.Symbol
idToIRI	Common.IRI
idToken	HasCASL.ParseTerm
idToNumberedIRI	OWL2.Translate
idToOpSymbol
1 (Function)	CASL.Sign
2 (Function)	HasCASL.Le
idToPredSymbol	CASL.Sign
idToRaw
1 (Function)	CSL.Symbol
2 (Function)	CASL.Morphism
3 (Function)	CommonLogic.Symbol
4 (Function)	HasCASL.Le
5 (Function)	OWL2.Symbols
6 (Function)	NeSyPatterns.Symbol
7 (Function)	Propositional.Symbol
8 (Function)	QBF.Symbol
9 (Function)	Temporal.Symbol
idToSimpleId	Common.Id
idToSortSymbol	CASL.Sign
idToSSymbol	Common.SExpr
idToTypeSymbol	HasCASL.Le
idtty	Maude.AS_Maude
Id_Relation	ConstraintCASL.AS_ConstraintCASL
id_to_raw	Logic.Logic
IF	THF.As
If
1 (Data Constructor)	Isabelle.IsaSign
2 (Data Constructor)	VSE.As
ifactorS	CSL.Keywords
iffKey	CommonLogic.Lexer_CLIF
ifFS	THF.HasCASL2THF0Buildins
iffS	CommonLogic.AS_CommonLogic
ifId	Isabelle.IsaSign
ifKey
1 (Function)	CASL.Formula
2 (Function)	CommonLogic.Lexer_CLIF
iFragment	Common.IRI
ifragment	OWL2.Parse
iFrameAxiomsToDoc	OWL2.PrintMS
iFrameSection	OWL2.ParseMS
ifS
1 (Function)	CSL.Keywords
2 (Function)	Common.Keywords
ifSens	Maude.PreComorphism
ifte	Common.LogicT
ifTerm	HasCASL.ParseTerm
IfThenElse
1 (Data Constructor)	Fpl.As
2 (Data Constructor)	TIP.AbsTIP
ifThenElse
1 (Function)	Fpl.As
2 (Function)	HasCASL.Builtin
ignore	Comorphisms.HolLight2Isabelle
ignoredKeys	Isabelle.IsaConsts
ihierPart	OWL2.Parse
ihost	OWL2.Parse
iInfoVal	OMDoc.Import
II_Assumptions_Record	THF.As
II_Formula_Item	THF.As
II_General_Function	THF.As
II_Inference_Item	THF.As
II_Inference_Status	THF.As
II_New_Symbol_Record	THF.As
II_Refutation	THF.As
illegalGUIValue	GUI.HTkUtils
Image	GUI.HTkUtils
ImageItem	GUI.HTkUtils
imageList	Common.Lib.MapSet
imageOfMorphism	CASL.Morphism
imageS	Isabelle.IsaConsts
imageSet	Common.Lib.MapSet
imageToInt	GUI.HTkUtils
imageV	Isabelle.IsaConsts
imgData	GUI.HTkUtils
imgGamma	GUI.HTkUtils
imgPalette	GUI.HTkUtils
Immediate	GUI.HTkUtils
impAndBiP	TopHybrid.Parse_AS
impartS	CSL.Keywords
ImpEnv
1 (Type/Class)	OMDoc.Import
2 (Data Constructor)	OMDoc.Import
impFormula	Propositional.Parse_AS_Basic
Impl	CASL.CompositionTable.ModelFormula
impl	Isabelle.IsaConsts
impLambdaOMS	LF.Twelf2GR
ImplEq	CommonLogic.AS_CommonLogic
implFS	THF.HasCASL2THF0Buildins
Implication
1 (Data Constructor)	CASL.AS_Basic_CASL
2 (Data Constructor)	CommonLogic.AS_CommonLogic
3 (Data Constructor)	DFOL.AS_DFOL
4 (Data Constructor)	Propositional.AS_BASIC_Propositional
5 (Data Constructor)	QBF.AS_BASIC_QBF
6 (Data Constructor)	THF.As
7 (Data Constructor)	TPTP.AS
8 (Data Constructor)	TopHybrid.AS_TopHybrid
Implication_ConstraintFormula	ConstraintCASL.AS_ConstraintCASL
Implicit
1 (Data Constructor)	CASL.AS_Basic_CASL
2 (Data Constructor)	HasCASL.As
implId	HasCASL.Builtin
implied
1 (Function)	OWL2.Keywords
2 (Function)	OWL2.Theorem
Implies	TIP.AbsTIP
implies
1 (Function)	Common.Doc
2 (Function)	ConstraintCASL.Formula
impliesT	ConstraintCASL.Formula
implKey	CASL.Formula
implPrec	DFOL.Utils
implS	Common.Keywords
implV	Isabelle.IsaConsts
impOrFormula	CSL.Parse_AS_Basic
Import
1 (Type/Class)	Isabelle.IsaExport
2 (Data Constructor)	Isabelle.IsaExport
3 (Type/Class)	Maude.AS_Maude
IMPORTATION	CommonLogic.AS_CommonLogic
Importation	CommonLogic.AS_CommonLogic
importation	CommonLogic.Parse_CLIF
importC	OWL2.ColonKeywords
importData	HolLight.HolLight2DG
IMPORTED	Syntax.AS_Library
Imported	Syntax.AS_Library
importEntry
1 (Function)	OWL2.ParseMS
2 (Function)	OWL2.Parse
ImportInfo
1 (Type/Class)	OMDoc.Import
2 (Data Constructor)	OMDoc.Import
importInfo	OMDoc.Import
Importing	Interfaces.Command
ImportIRI	OWL2.AS
importIsaData	Isabelle.IsaImport
importIsaDataIO	Isabelle.IsaImport
importK	OWL2.XMLKeywords
importLib	OMDoc.Import
importName	Isabelle.IsaExport
Imports
1 (Type/Class)	OMDoc.OMDocInterface
2 (Data Constructor)	OMDoc.OMDocInterface
imports
1 (Function)	Isabelle.IsaSign
2 (Function)	Isabelle.IsaParse
3 (Function)	OWL2.MS
importsConservativity	OMDoc.OMDocInterface
importsDocuments	OWL2.AS
importsFrom	OMDoc.OMDocInterface
importsId	OMDoc.OMDocInterface
importsMorphism	OMDoc.OMDocInterface
importsS	Isabelle.IsaConsts
ImportStmnt	Maude.AS_Maude
ImportsType	OMDoc.OMDocInterface
importsType	OMDoc.OMDocInterface
importTheory	OMDoc.Import
impPiOMS	LF.Twelf2GR
Impredicative	CommonLogic.Sublogic
improveDiag	HasCASL.PrintLe
ImpUnitSig	Static.DevGraph
ImpUnitSigOrSig	Static.DevGraph
Imp_name	CommonLogic.AS_CommonLogic
In	VSE.As
inAContent	OMDoc.XmlInterface
inc
1 (Function)	HasCASL.Unify
2 (Function)	Static.DgUtils
incase	GUI.HTkUtils
incBy	Static.DgUtils
incEdgeId	Static.DgUtils
InCenter	GUI.HTkUtils
incl2map	LF.Twelf2GR
InclComorphism	Logic.Comorphism
inclOWLMorphism	OWL2.Morphism
Include
1 (Data Constructor)	SoftFOL.Sign
2 (Type/Class)	THF.As
3 (Type/Class)	TPTP.AS
4 (Data Constructor)	TPTP.AS
includedAxioms	Proofs.AbstractState
includedTheorems	Proofs.AbstractState
IncludeProvenTheorems	Interfaces.Command
includeQN	LF.Twelf2GR
Including	Maude.AS_Maude
Inclusion	OMDoc.OMDocInterface
inclusion
1 (Function)	Maude.Morphism
2 (Function)	Logic.Logic
inclusionConservativity	OMDoc.OMDocInterface
inclusionFrom	OMDoc.OMDocInterface
inclusionId	OMDoc.OMDocInterface
inclusionList	Comorphisms.LogicGraph
inclusionMap
1 (Function)	CSL.Morphism
2 (Function)	CommonLogic.Morphism
3 (Function)	NeSyPatterns.Morphism
4 (Function)	Propositional.Morphism
5 (Function)	QBF.Morphism
6 (Function)	Temporal.Morphism
inclusionMorph
1 (Function)	DFOL.Morphism
2 (Function)	LF.Morphism
inclusionMorphism	OMDoc.OMDocInterface
inclusions	Logic.Grothendieck
inclusionSink	Static.ArchDiagram
inclusionTo	OMDoc.OMDocInterface
inclusion_logic	Logic.Comorphism
inclusion_source_sublogic	Logic.Comorphism
inclusion_target_sublogic	Logic.Comorphism
Incomp	Logic.Logic
Incomparable
1 (Data Constructor)	CSL.TreePO
2 (Type/Class)	CSL.TreePO
Incompatible	Syntax.AS_Structured
incompatibleWith	OWL2.Keywords
Inconsistent
1 (Data Constructor)	Common.Consistency
2 (Data Constructor)	Persistence.Schema.ConsistencyStatusType
inContent	OMDoc.XmlInterface
increment	GUI.HTkUtils
incrRightGMorphism	Static.CheckGlobalContext
incrRightG_theory	Static.CheckGlobalContext
incrRightSign	Static.CheckGlobalContext
incrWrongGMorphism	Static.CheckGlobalContext
incrWrongG_theory	Static.CheckGlobalContext
incrWrongSign	Static.CheckGlobalContext
incrZeroGMorphism	Static.CheckGlobalContext
incrZeroG_theory	Static.CheckGlobalContext
incrZeroSign	Static.CheckGlobalContext
incSourceColumn	Common.Id
indexed	Common.Doc
indexes	Persistence.Schema
IndexModifier	GUI.HTkUtils
IndexModifiers
1 (Type/Class)	GUI.HTkUtils
2 (Data Constructor)	GUI.HTkUtils
Indexname
1 (Type/Class)	Isabelle.IsaSign
2 (Data Constructor)	Isabelle.IsaSign
indexname	Isabelle.IsaSign
IndexNo	GUI.HTkUtils
indexOffset	Isabelle.IsaSign
IndexPos	GUI.HTkUtils
indexS	CSL.Keywords
IndexText	GUI.HTkUtils
indicatorFromBasicProof	GUI.HTkUtils
indicatorFromProofStatus	GUI.HTkUtils
indicatorString	GUI.HTkUtils
Individual	OWL2.AS
individual
1 (Function)	CommonLogic.PredefinedCASLAxioms
2 (Function)	OWL2.ParseMS
3 (Function)	OWL2.Parse
IndividualArg
1 (Data Constructor)	OWL2.AS
2 (Type/Class)	OWL2.AS
individualArgumentK	OWL2.XMLKeywords
individualC	OWL2.ColonKeywords
IndividualFacts	OWL2.MS
IndividualFrame	OWL2.PrintMS
individualFrame	OWL2.ParseMS
individualList	OWL2.XMLKeywords
individualOrConstant
1 (Function)	OWL2.ParseMS
2 (Function)	OWL2.Parse
individualOrConstantList
1 (Function)	OWL2.ParseMS
2 (Function)	OWL2.Parse
individualS	Comorphisms.CommonLogic2IsabelleHOL
individuals	OWL2.Sign
IndividualSameOrDifferent	OWL2.MS
individualsC	OWL2.ColonKeywords
individualT	Comorphisms.CommonLogic2IsabelleHOL
individualUri
1 (Function)	OWL2.ParseMS
2 (Function)	OWL2.Parse
IndividualVar	OWL2.AS
individualVariableK	OWL2.XMLKeywords
indivs	OWL2.Medusa
indMorMap_morphism	Logic.Morphism
indMorMap_sign	Logic.Morphism
inDoc	Common.Doc
inducedCspSign	CspCASL.Morphism
inducedElems	OWL2.Morphism
inducedEMsign	ExtModal.MorphismExtension
inducedExt	VSE.Ana
inducedFromMor	OWL2.Morphism
inducedFromMorphism
1 (Function)	CASL.SymbolMapAnalysis
2 (Function)	CommonLogic.Analysis
3 (Function)	DFOL.Morphism
4 (Function)	HasCASL.SymbolMapAnalysis
5 (Function)	LF.Morphism
6 (Function)	NeSyPatterns.Analysis
7 (Function)	Propositional.Analysis
8 (Function)	QBF.Analysis
inducedFromMorphismExt	CASL.SymbolMapAnalysis
inducedFromToMor	OWL2.Logic_OWL2
inducedFromToMorphism
1 (Function)	CASL.SymbolMapAnalysis
2 (Function)	CommonLogic.Analysis
3 (Function)	DFOL.Morphism
4 (Function)	HasCASL.SymbolMapAnalysis
5 (Function)	LF.Morphism
6 (Function)	NeSyPatterns.Analysis
7 (Function)	Propositional.Analysis
8 (Function)	QBF.Analysis
inducedFromToMorphismAux	OWL2.Logic_OWL2
inducedFromToMorphismExt	CASL.SymbolMapAnalysis
inducedOpMap	CASL.Morphism
inducedPredMap	CASL.Morphism
inducedPref	OWL2.Morphism
InducedSign	CASL.Morphism
inducedSign	OWL2.Morphism
inducedSignAux	CASL.Morphism
induced_from_morphism	Logic.Logic
induced_from_to_morphism	Logic.Logic
InducingComorphism	Logic.Morphism
Induct	Isabelle.IsaSign
inductionScheme
1 (Function)	CASL.Induction
2 (Function)	HasCASL.DataAna
inductionSentence	CASL.Induction
inductS	Isabelle.IsaConsts
indvC_sen	CommonLogic.Tools
indvC_term	CommonLogic.Tools
indvC_text	CommonLogic.Tools
InfDev	CSL.TreePO
Infer	HasCASL.As
infer	THF.Poly
InferenceItem	THF.As
InferenceStatus	THF.As
Inference_info
1 (Type/Class)	TPTP.AS
2 (Data Constructor)	TPTP.AS
Inference_item	TPTP.AS
Inference_parents	TPTP.AS
Inference_record
1 (Type/Class)	TPTP.AS
2 (Data Constructor)	TPTP.AS
Inference_rule	TPTP.AS
Inference_status	TPTP.AS
inferKinds	HasCASL.TypeAna
Inferred	HasCASL.As
infiles	Driver.Options
infinityS	CSL.Keywords
InfInt	CSL.TreePO
Infix	OMDoc.DataTypes
infixIf	HasCASL.Builtin
infixKeywords	CSL.Keywords
InfixL	HolLight.Term
infixOps	CSL.Reduce_Interface
InfixR	HolLight.Term
infixS	CSL.Keywords
Infix_Atom	ConstraintCASL.AS_ConstraintCASL
Infix_Equality	THF.As
Infix_Inequality	THF.As
Infix_inequality	TPTP.AS
Info
1 (Type/Class)	SoftFOL.Sign
2 (Data Constructor)	SoftFOL.Sign
3 (Data Constructor)	PGIP.Query
info	GUI.HTkUtils
infoDialog
1 (Function)	GUI.GtkUtils
2 (Function)	GUI.Utils
infoDialogExt	GUI.GtkUtils
InfoItem	THF.As
informCmd	PGIP.XMLparsing
informDGraph	PGIP.XMLparsing
infoSubsorts	CASL.CCC.TermFormula
Info_formula	TPTP.AS
Info_general	TPTP.AS
Info_inference	TPTP.AS
Info_item	TPTP.AS
Info_items	TPTP.AS
infx	CSL.AS_BASIC_CSL
Inf_assumption	TPTP.AS
Inf_info	TPTP.AS
Inf_refutation	TPTP.AS
Inf_status	TPTP.AS
Inf_symbol	TPTP.AS
Inf_value	TPTP.AS
inheritImpl	Framework.WriteLogicUtils
inId	Isabelle.IsaSign
initChart	Common.Earley
initDescList	Static.WACocone
initFilePathMapping	OMDoc.Export
initFNodes	Common.AutoProofUtils
initGraph	GUI.GraphAbstraction
initgraphs	Taxonomy.AbstractGraphView
initHTk	GUI.HTkUtils
initialAxioms
1 (Function)	Propositional.ProverState
2 (Function)	QBF.ProverState
initialEnv
1 (Function)	HasCASL.Le
2 (Function)	OMDoc.Import
initialGenericState	Interfaces.GenericATPState
initializeConverter	GUI.GraphDisplay
initialLogicalPart	SoftFOL.ProverState
InitialProverState	Interfaces.GenericATPState
initialProverState	Interfaces.GenericATPState
initialProverStateTHF	THF.ProverState
initialSig	OMDoc.Import
initialSignature
1 (Function)	Propositional.ProverState
2 (Function)	QBF.ProverState
initialState
1 (Function)	OWL2.ProverState
2 (Function)	Proofs.AbstractState
initLocking	Static.DevGraph
initNodeInfo	Interfaces.Utils
initsize	GUI.HTkUtils
initStat	Static.CheckGlobalContext
Inj	Adl.As
injC_Formula	Comorphisms.CoCASL2CoPCFOL
injectTo	Comorphisms.CASL2PCFOL
injectUnique	CASL.Inject
injEM	Comorphisms.ExtModal2ExtModalNoSubsorts
injEMFormula	Comorphisms.ExtModal2ExtModalNoSubsorts
injFormula	CASL.Inject
InjMap	Common.InjMap
injName	Common.Id
injRecord	CASL.Inject
injTerm	CASL.Inject
injToken	Common.Id
injTrans	HasCASL.TypeRel
injType	HasCASL.TypeRel
inlineAxioms	Logic.Logic
inlineSign	Maude.Sign
InMode	HasCASL.ParseTerm
innDG	Static.DevGraph
InnerDatatype
1 (Type/Class)	TIP.AbsTIP
2 (Data Constructor)	TIP.AbsTIP
InnerFunDec
1 (Type/Class)	TIP.AbsTIP
2 (Data Constructor)	TIP.AbsTIP
InnerFunType
1 (Type/Class)	TIP.AbsTIP
2 (Data Constructor)	TIP.AbsTIP
innerList
1 (Function)	Common.Token
2 (Function)	CASL.ToDoc
innerMix1	Common.Token
innerMix2	Common.Token
inOps	Common.XPath
Inp	SoftFOL.Sign
inp	CSL.Reduce_Interface
inParens	CASL.CompositionTable.ParseSparQ
InputError	SoftFOL.MathServParsing
inputS	CSL.Keywords
inS
1 (Function)	CSL.Keywords
2 (Function)	Common.Keywords
insEdgeAsIs	Static.DevGraph
insEdgesDG	Static.DevGraph
Insert
1 (Type/Class)	Common.XUpdate
2 (Data Constructor)	Isabelle.IsaSign
insert
1 (Function)	Common.InjMap
2 (Function)	Common.Lib.MapSet
3 (Function)	Common.OrderedMap
insertAndIdx	THF.Poly
insertBaseRelation	Taxonomy.MMiSSOntology
insertC	HasCASL.Constrain
insertChanSym	CspCASL.SymMapAna
insertClass	Taxonomy.MMiSSOntology
insertColimitInGraph	Proofs.ComputeColimit
insertDGLEdge	Proofs.EdgeUtils
insertDiffPair	Common.Lib.Rel
InsertEdge	Static.DevGraph
insertFirstNode	Static.FromXml
insertFormalParamAndVerifCond	Static.ArchDiagram
insertInjOps	CASL.Inject
insertKey	Common.Lib.Rel
insertKeyOrPair	Common.Lib.Rel
insertLink
1 (Function)	Taxonomy.MMiSSOntology
2 (Function)	Static.FromXml
InsertMode	Taxonomy.MMiSSOntology
insertModPred	CASL.World
insertNewline	GUI.HTkUtils
InsertNode	Static.DevGraph
insertNode	Static.FromXml
insertObject	Taxonomy.MMiSSOntology
insertOWLAxiom	OWL2.ProverState
insertPair	Common.Lib.Rel
insertProcSym	CspCASL.SymMapAna
insertRelationType	Taxonomy.MMiSSOntology
insertRsys	CASL.Morphism
insertS	Isabelle.IsaConsts
insertSentence
1 (Function)	Propositional.ProverState
2 (Function)	QBF.ProverState
3 (Function)	SoftFOL.Conversions
insertSentenceGen	SoftFOL.ProverState
insertSentenceIntoProverState	TPTP.Prover.ProverState
insertSentenceTHF	THF.ProverState
insertStep	Static.FromXml
insertTarThmLinks	Static.FromXml
insertText	GUI.HTkUtils
insertThmLinks	Static.FromXml
insertXLink	Static.XGraph
insGSig	Static.AnalysisStructured
insGTheory	Static.AnalysisStructured
insInclEdgeDG	Static.DevGraph
insInclusionEdges	Static.ArchDiagram
insInclusionEdgesRev	Static.ArchDiagram
insLast	Comorphisms.HasCASL2THFP_P
insLEdge	Common.Lib.Graph
insLEdgeDG	Static.DevGraph
insLEdgeNubDG	Static.DevGraph
insLink	Static.AnalysisStructured
insLNodeDG	Static.DevGraph
insNodeDG	Static.DevGraph
insNodesDG	Static.DevGraph
Insort
1 (Type/Class)	OMDoc.OMDocInterface
2 (Data Constructor)	OMDoc.OMDocInterface
insortFor	OMDoc.OMDocInterface
InspectCmd
1 (Data Constructor)	Interfaces.Command
2 (Type/Class)	Interfaces.Command
inspectCmdList	Interfaces.Command
inst	HolLight.Helper
Instance
1 (Type/Class)	HasCASL.As
2 (Data Constructor)	HasCASL.As
3 (Type/Class)	Isabelle.IsaExport
4 (Data Constructor)	Isabelle.IsaExport
5 (Data Constructor)	Isabelle.IsaSign
InstanceArity	Isabelle.IsaSign
instanceArity	Isabelle.IsaSign
instanceClass
1 (Function)	Isabelle.IsaExport
2 (Function)	Isabelle.IsaSign
instanceClass1
1 (Function)	Isabelle.IsaExport
2 (Function)	Isabelle.IsaSign
InstanceOf	Syntax.AS_Structured
InstanceProof	Isabelle.IsaSign
instanceProof	Isabelle.IsaSign
instanceRel
1 (Function)	Isabelle.IsaExport
2 (Function)	Isabelle.IsaSign
instanceS
1 (Function)	Common.Keywords
2 (Function)	Isabelle.IsaConsts
instances	CSMOF.Sign
InstanceSubclass	Isabelle.IsaSign
instanceTypes	Isabelle.IsaSign
Instance_Attrs
1 (Type/Class)	Isabelle.IsaExport
2 (Data Constructor)	Isabelle.IsaExport
InstantiatedConstant
1 (Type/Class)	CSL.AS_BASIC_CSL
2 (Data Constructor)	CSL.AS_BASIC_CSL
Instantiation
1 (Type/Class)	Isabelle.IsaExport
2 (Data Constructor)	Isabelle.IsaExport
3 (Data Constructor)	Isabelle.IsaSign
instantiation	CSL.AS_BASIC_CSL
instantiationArity	Isabelle.IsaSign
instantiationBody	Isabelle.IsaSign
InstantiationModExp	Maude.AS_Maude
instantiationS	Isabelle.IsaConsts
instantiationType
1 (Function)	Isabelle.IsaExport
2 (Function)	Isabelle.IsaSign
Instantiation_Attrs
1 (Type/Class)	Isabelle.IsaExport
2 (Data Constructor)	Isabelle.IsaExport
InstKind	HasCASL.As
InstOf	Logic.Logic
instProof	Isabelle.IsaSign
instScheme	HasCASL.Unify
Int
1 (Data Constructor)	CSL.AS_BASIC_CSL
2 (Data Constructor)	TPTP.AS
int	Common.Lib.Pretty
IntDiv	TIP.AbsTIP
integer
1 (Function)	Common.Lib.Pretty
2 (Function)	CASL_DL.PredefinedCASLAxioms
integerS
1 (Function)	CSL.Keywords
2 (Function)	OWL2.Keywords
integerT	Isabelle.IsaConsts
integPref	OWL2.Rename
Inter	CASL.CompositionTable.ModelFormula
interactive	Driver.Options
interactiveHideTheoremShift	Proofs.HideTheoremShift
interCoCASLSign	CoCASL.CoCASLSign
interEModalSign	ExtModal.ExtModalSign
interFplSign	Fpl.Sign
interHybridSign	Hybrid.HybridSign
interleave
1 (Function)	Common.LogicT
2 (Function)	Common.Doc
Interleaving	CspCASL.AS_CspCASL_Process
interleavingS	Common.Keywords
interMap
1 (Function)	Hybrid.HybridSign
2 (Function)	Modal.ModalSign
interMapSet	CASL.Sign
interModalSign	Modal.ModalSign
Internal	HasCASL.As
InternalChoice	CspCASL.AS_CspCASL_Process
internalNames	GUI.GraphTypes
InternalPrefixChoice	CspCASL.AS_CspCASL_Process
internalProverName	PGIP.Output.Formatting
internalS	Common.Keywords
internal_choice	Common.Doc
internal_choiceS	Common.Keywords
Internal_source
1 (Type/Class)	TPTP.AS
2 (Data Constructor)	TPTP.AS
interOpMapSet	CASL.Sign
interpolS	CSL.Keywords
interpretationS	Common.Keywords
interProcs	VSE.As
interRel	CASL.Sign
intersect	THF.Sign
intersectG_sentences	Static.GTheory
Intersection
1 (Data Constructor)	ExtModal.AS_ExtModal
2 (Data Constructor)	Syntax.AS_Structured
intersection
1 (Function)	Common.Lib.MapSet
2 (Function)	Common.Lib.Rel
3 (Function)	Maude.Sign
4 (Function)	Logic.Logic
IntersectionOf	OWL2.AS
intersectS	Common.Keywords
intersectSens	Logic.Prover
intersectSign	OWL2.Rename
interSig	CASL.Sign
interSigM	VSE.Logic_VSE
Interval	CSL.AS_BASIC_CSL
interval	GUI.HTkUtils
intervalexp	CSL.Parse_AS_Basic
intervalFrom	GUI.HTkUtils
intervalTo	GUI.HTkUtils
IntHistory
1 (Type/Class)	Interfaces.DataTypes
2 (Data Constructor)	Interfaces.DataTypes
IntIState
1 (Type/Class)	Interfaces.DataTypes
2 (Data Constructor)	Interfaces.DataTypes
IntLit
1 (Type/Class)	OWL2.AS
2 (Data Constructor)	OWL2.AS
intLit
1 (Function)	OWL2.ParseMS
2 (Function)	OWL2.Parse
IntMod	TIP.AbsTIP
intNameOrSeqMark	CommonLogic.Parse_CLIF
intransKernel	Common.Lib.Rel
IntroType	THF.As
IntroTypeAssumption	TPTP.AS
IntroTypeDefinition	TPTP.AS
Intro_type	TPTP.AS
intS
1 (Function)	CSL.Keywords
2 (Function)	OWL2.Keywords
intsizeA	CSL.TreePO
IntState
1 (Type/Class)	Interfaces.DataTypes
2 (Data Constructor)	Interfaces.DataTypes
intState
1 (Function)	CMDL.DataTypes
2 (Function)	GUI.GraphTypes
intstrS	CSL.Keywords
intT	Isabelle.IsaConsts
intToDec	OWL2.AS
intToFloat	OWL2.AS
intToImage	GUI.HTkUtils
intToStr	THF.Poly
IntTy	TIP.AbsTIP
IntVal	CSL.TreePO
InType
1 (Data Constructor)	HasCASL.As
2 (Type/Class)	Driver.Options
intype	Driver.Options
Int_NodeInfo	Interfaces.DataTypes
Inv	CASL.CompositionTable.ModelFormula
invalidateProof	Proofs.EdgeUtils
invalidateProofs	Static.GTheory
InVar	HasCASL.As
inverse
1 (Function)	CASL.CompositionTable.CompositionTable
2 (Function)	ConstraintCASL.Formula
3 (Function)	Maude.Morphism
4 (Function)	OWL2.Sublogic
5 (Function)	Logic.Logic
InverseFunctional	OWL2.AS
InverseFunctionalObjectProperty	OWL2.AS
inverseFunctionalObjectPropertyK	OWL2.XMLKeywords
inverseFunctionalObjectPropertyS	OWL2.ASKeywords
inverseFunctionalS	OWL2.Keywords
inverseMorphism	CASL.Qualify
inverseMorphismExtension	CASL.Morphism
InverseObjectProperties	OWL2.AS
inverseObjectPropertiesK	OWL2.XMLKeywords
inverseObjectPropertiesS	OWL2.ASKeywords
InverseObjectProperty	OWL2.AS
InverseOf	OWL2.AS
inverseOf	OWL2.AS
inverseOfC	OWL2.ColonKeywords
InverseOfSection	OWL2.PrintMS
inverseOperationS	CASL.CompositionTable.Keywords
inverseRoles	OWL2.Sublogic
inverseS	OWL2.Keywords
inverseT	ConstraintCASL.Formula
Inverse_Relation	ConstraintCASL.AS_ConstraintCASL
InversOf	Taxonomy.MMiSSOntology
invisibleArcType	GUI.UDGUtils
invisibleArcTypeParms	GUI.UDGUtils
invoke	GUI.HTkUtils
in_basicSpec	HasCASL.Sublogic
in_env	HasCASL.Sublogic
in_morphism	HasCASL.Sublogic
in_sentence	HasCASL.Sublogic
in_symbItems	HasCASL.Sublogic
in_symbMapItems	HasCASL.Sublogic
in_symbol	HasCASL.Sublogic
ioEncoding	Driver.Options
ioShowTPTPProblem	TPTP.Prover.ProverState
IPadX	GUI.HTkUtils
IPadY	GUI.HTkUtils
ipathAbempty	OWL2.Parse
ipathAbsolute	OWL2.Parse
ipathRootless	OWL2.Parse
ipChar	OWL2.Parse
IProver	SoftFOL.ProveDarwin
iPv4Adress	OWL2.Parse
iquery	OWL2.Parse
Iquote_item	TPTP.AS
iregName	OWL2.Parse
IRI
1 (Type/Class)	Common.IRI
2 (Data Constructor)	Common.IRI
Iri	Syntax.AS_Structured
IRIAuth
1 (Type/Class)	Common.IRI
2 (Data Constructor)	Common.IRI
iriAuthority	Common.IRI
IriCD	OMDoc.Import
iriCurie	Common.IRI
iriFragment	Common.IRI
IriId	OWL2.PrintMS
iriK	OWL2.XMLKeywords
iriLibName	Common.LibName
iriParser	Common.IRI
iriPath	Common.IRI
iriPos	Common.IRI
iriQuery	Common.IRI
iRIRange	Common.IRI
iriScheme	Common.IRI
iriToStringShortUnsecure	Common.IRI
iriToStringUnsecure	Common.IRI
IRole	OWL2.Sign
irreflex	Common.Lib.Rel
Irreflexive	OWL2.AS
IrreflexiveObjectProperty	OWL2.AS
irreflexiveObjectPropertyK	OWL2.XMLKeywords
irreflexiveObjectPropertyS	OWL2.ASKeywords
irreflexiveS	OWL2.Keywords
Irregular_sent	CommonLogic.AS_CommonLogic
iS	CSL.Keywords
isAbbrev	Common.IRI
Isabelle
1 (Data Constructor)	Framework.AS
2 (Type/Class)	Isabelle.Logic_Isabelle
3 (Data Constructor)	Isabelle.Logic_Isabelle
isabelle	TPTP.Prover.Isabelle
isabelleBatchProver	Isabelle.IsaProve
isabelleConsChecker	Isabelle.IsaProve
IsabelleMorphism	Isabelle.Logic_Isabelle
isabelleProver	Isabelle.IsaProve
isabelleS	Common.Keywords
isAbs	HolLight.Helper
isAbsoluteIRI	RDF.AS
isAbstract	CSMOF.As
IsaClass
1 (Type/Class)	Isabelle.IsaSign
2 (Data Constructor)	Isabelle.IsaSign
isaComorphisms	Comorphisms.KnownProvers
isAcyclic	Static.WACocone
IsaData	Isabelle.IsaImport
isAddQN	Common.XUpdate
isADT	OMDoc.OMDocInterface
IsaEditor	Isabelle.IsaProve
IsaEq	Isabelle.IsaSign
isaEqPrio	Isabelle.IsaConsts
IsaIn	Driver.Options
isaKeywords	Isabelle.IsaConsts
isAnnote	Common.AS_Annotation
isAnonymous	OWL2.AS
isaPair	Comorphisms.HasCASL2IsabelleHOL
isAppT	Comorphisms.HolLight2Isabelle
isaPrelude	Isabelle.Translate
IsaPreludes
1 (Type/Class)	Isabelle.Translate
2 (Data Constructor)	Isabelle.Translate
IsaProof
1 (Type/Class)	Isabelle.IsaSign
2 (Data Constructor)	Isabelle.IsaSign
isaProve	Isabelle.IsaProve
isaProver	THF.ProveIsabelle
isArrow	HasCASL.AsUtils
isas	Adl.Sign
IsaSets
1 (Type/Class)	Isabelle.IsaStrings
2 (Data Constructor)	Isabelle.IsaStrings
isAssoc	Common.GlobalAnnotations
isaTerm	Isabelle.IsaConsts
IsaTheory	Comorphisms.CFOL2IsabelleHOL
isAttributeQN	Common.XUpdate
isAxiom
1 (Function)	Common.AS_Annotation
2 (Function)	OMDoc.OMDocInterface
isAxiomFormula	SoftFOL.Sign
isAxiomType	Static.XSimplePath
isBaseObject	FreeCAD.Translator
isBinPredType	CASL.Sign
isBlankNode	Common.IRI
isBRel	Adl.As
isCoConsAlt	CoCASL.StatAna
isCofree	Logic.Prover
isCofreeEdge	Static.DevGraph
isComb	HolLight.Helper
isComment	Common.AS_Annotation
isCommented	OMDoc.OMDocInterface
isComplete	Taxonomy.MMiSSOntology
isConnected	Static.WACocone
isConsAlt	CASL.StaticAna
isConservativ	Static.DgUtils
isConst	HolLight.Helper
isConstant
1 (Function)	DFOL.Sign
2 (Function)	LF.Sign
isConstrAppl	HasCASL.ProgEq
isConstructor	HasCASL.Le
IsCont	Isabelle.IsaSign
isCspCASLSubSig	CspCASL.SignCSP
isCspSubSign	CspCASL.SignCSP
isCyclic	OWL2.Sublogic
isCyclic'	OWL2.Sublogic
isCyclicD	OWL2.Sublogic
isCyclicU	OWL2.Sublogic
isDatatype	HasCASL.PrintAs
isDatatypeKey	OWL2.AS
isDatatypeKeyAux	OWL2.AS
isDecInt	OWL2.AS
isDeclaredSym	LF.Sign
isDeclDataProp	OWL2.StaticAnalysis
isDeclInd	OWL2.StaticAnalysis
isDeclObjProp	OWL2.StaticAnalysis
isDef
1 (Function)	Common.AS_Annotation
2 (Function)	GUI.UDGUtils
isDefEdge	Static.DevGraph
isDefEdgeType	Static.DgUtils
isDefinedBy	OWL2.Keywords
isDefinedSym	LF.Sign
isDefinition	OMDoc.OMDocInterface
isDescOrSelfNode	Common.XPath
isDgLinkElem	Static.XSimplePath
isDgNodeElem	Static.XSimplePath
isDGRef	Static.DevGraph
isDgRule	Interfaces.Command
isDgXmlFile	Driver.ReadFn
isegment	OWL2.Parse
isegmentNz	OWL2.Parse
isElem	Static.XSimplePath
isElementNode	Common.XPath
isElementQN	Common.XUpdate
isEMJunct	ExtModal.Print_AS
isEmpty	Common.Lib.Pretty
isEmptyDG	Static.DevGraph
isEmptyOntology	OWL2.MS
isEmptyOntologyDoc	OWL2.MS
isEnabled	GUI.HTkUtils
isEps	Logic.Comorphism
isError	GUI.HTkUtils
isErrorDiag	Common.Result
isExecutable	HasCASL.ProgEq
isExQuanti	CASL.CCC.TermFormula
isFileIRI	OMDoc.Import
isFlat	Common.Item
isFlatteningCmd	Interfaces.Command
isFloatDec	OWL2.AS
isFloating	Common.Lexer
isFloatInt	OWL2.AS
isFreeEdge	Static.DevGraph
isFunDef	CSL.ASUtils
isGabs	HolLight.Helper
isGeneratedToken	Common.Id
isGenFloat	Common.ConvertLiteral
isGenFrac	Common.ConvertLiteral
isGenList	Common.ConvertLiteral
isGenLiteral	Common.ConvertLiteral
isGenNum	Common.ConvertLiteral
isGenNumber	Common.ConvertLiteral
isGenString	Common.ConvertLiteral
isGlobalDef	Static.DevGraph
isGlobalEdge	Static.DevGraph
isGlobalSym	LF.Sign
isGlobalThm	Static.DevGraph
isGraphQL	PGIP.GraphQL
isGTC	Logic.Comorphism
isHC
1 (Function)	Propositional.Sublogic
2 (Function)	QBF.Sublogic
isHiddenEdge	GUI.GraphAbstraction
isHiddenNode	GUI.GraphAbstraction
isHidingDef	Static.DevGraph
isHidingEdge	Static.DevGraph
isHomogeneous	Logic.Grothendieck
isHomogeneousGDiagram	Static.GTheory
isHomSubGsign	Logic.Grothendieck
isHomThm	Static.DgUtils
isIdComorphism	Logic.Comorphism
isIdentity	Logic.Logic
isIdentityEdge	Proofs.StatusUtils
isImplied	Common.AS_Annotation
isImplies	Common.AS_Annotation
isImports	OMDoc.OMDocInterface
isInc	Static.DgUtils
isInclMor	HasCASL.Le
isInclusion
1 (Function)	Maude.Morphism
2 (Function)	Logic.Logic
isInclusionComorphism	Logic.Comorphism
isInclusionMorphism	CASL.Morphism
isInclusionMorphismExtension	CASL.Morphism
isInfix	Common.Id
isInjective	CASL.Morphism
isInjectiveList	CASL.AS_Basic_CASL
isInjName	Common.Id
isInternal	Static.DgUtils
isInternalNode	Static.DevGraph
isInternalSpec	Static.DgUtils
isInterval	CSL.ASUtils
isJunct	CASL.ToDoc
isKifComment	CASL.Kif2CASL
isKTokenChar	CASL.Kif
isLabel	Common.AS_Annotation
isLeftArg	Common.Prec
isLegal
1 (Function)	Maude.Sign
2 (Function)	Maude.Morphism
isLegalMorphism
1 (Function)	CommonLogic.Morphism
2 (Function)	NeSyPatterns.Morphism
3 (Function)	Propositional.Morphism
4 (Function)	QBF.Morphism
5 (Function)	Temporal.Morphism
isLegalPath	Common.XPath
isLegalSignature
1 (Function)	CSL.Sign
2 (Function)	NeSyPatterns.Sign
3 (Function)	Propositional.Sign
4 (Function)	Temporal.Sign
isLHS	HasCASL.ProgEq
isLiberalKind	HasCASL.VarDecl
isLocalDef	Static.DevGraph
isLocalEdge	Static.DevGraph
isLocalSym	LF.Sign
isLocalThm	Static.DevGraph
isLowerTHFChar	THF.Translate
isMembership	CASL.CCC.TermFormula
isMixfix	Common.Id
isModel	CSMOF.Parser
isModelTransportable	Logic.Comorphism
isNameInProcNameMap	CspCASL.SignCSP
isNat	PGIP.Query
isNeg
1 (Function)	Propositional.Fold
2 (Function)	QBF.Tools
isNegDec	OWL2.AS
isNegInt	OWL2.AS
isNotDisproved	CMDL.ProcessScript
isNullId	Common.Id
isNullIRI	Common.IRI
isNullRange	Common.Id
isNumber	Common.Lexer
isObjectProperty	OWL2.AS
IsoDecl	HasCASL.As
isoDecl	CASL.SortItem
isOfType	HasCASL.ProgEq
isOp	HasCASL.ProgEq
isOpenConsEdge	CMDL.Utils
isOpenGoal	Logic.Prover
isOpKind	HasCASL.ProgEq
isOWLInclusion	OWL2.Morphism
Iso_decl	CASL.AS_Basic_CASL
isPackageAvailable	GUI.HTkUtils
isPartial	CASL.Sign
isPartialArrow	HasCASL.AsUtils
isPat	HasCASL.ProgEq
isPathExpr	Common.XPath
isPatVarDecl	HasCASL.PrintAs
isPending	Static.DgUtils
isPlace	Common.Id
isPostfix	Common.Id
isPred	HasCASL.As
isPredefAnnoProp	OWL2.AS
isPredefDataProp	OWL2.AS
isPredefObjProp	OWL2.AS
isPredefOWLAnnoProp	OWL2.AS
isPredefPropOrClass	OWL2.AS
isPredefRDFSAnnoProp	OWL2.AS
isPredType	HasCASL.AsUtils
isPrefix	HolLight.Helper
isPrimExpr	Common.XPath
isPrimForm
1 (Function)	Propositional.AS_BASIC_Propositional
2 (Function)	QBF.AS_BASIC_QBF
isProcessEq	CspCASL.SignCSP
isProdT	Comorphisms.THFP2THF0
isProductId	HasCASL.AsUtils
isProductIdWithArgs	HasCASL.AsUtils
isProp
1 (Function)	Propositional.Sublogic
2 (Function)	QBF.Sublogic
isProperSublogic	Logic.Grothendieck
isProvedBasically	Static.GTheory
isProvedGStat	Logic.Prover
isProvedStat	Logic.Prover
isProven	Static.DevGraph
isProvenCons	Static.DgUtils
isProvenConsStatusLink	Static.DgUtils
isProvenEdge	Static.DgUtils
isProvenNode	Static.DgUtils
isProvenSenStatus	Static.GTheory
isProvenThmLinkStatus	Static.DgUtils
isQualName	Common.LibName
isQualNameFrom	Common.LibName
isQuant	CASL.ToDoc
isQuantified	QBF.Tools
isQuantifier	Comorphisms.HolLight2Isabelle
isQuantifierLike	CASL.ToDoc
isRDFInclusion	RDF.Morphism
isReduceAxiom	CSL.ReduceProve
isRefType	Static.DgUtils
isRefute	Isabelle.IsaSign
isRefuteAux	Isabelle.IsaSign
isRemote	PGIP.XMLstate
isRemoveQN	Common.XUpdate
isRightArg	Common.Prec
isRps	Logic.Comorphism
isRSSubsig	RelationalScheme.Sign
isRule	Maude.Sentence
isSelected	GUI.HTkUtils
isSemanticAnno	Common.AS_Annotation
isSentenceType	Static.XSimplePath
isSeqMark	CommonLogic.Sign
isSignChar	Common.Lexer
isSimp	Isabelle.IsaSign
isSimple	Common.IRI
isSimpleArgTerm	HasCASL.PrintAs
isSimpleId	Common.Id
isSimpleTerm	HasCASL.PrintAs
isSimpleToken	Common.Id
isSimpleType	HasCASL.PrintAs
isSimpleTypeItem	HasCASL.PrintAs
isSimpleTypePat	HasCASL.PrintAs
isSingle	Common.Id
isSingleArgOp	CASL.Sign
isSingleton	Common.Utils
isSmth	OWL2.XML
isSortGen	CASL.AS_Basic_CASL
isSortInjective	CASL.Morphism
isSpecial	Maude.PreComorphism
isString	Common.Lexer
isStructured	Driver.Options
isSubCASL_DLSign	CASL_DL.Sign
isSubCoCASLSign	CoCASL.CoCASLSign
isSubCOLSign	COL.COLSign
isSubConcept	Adl.StatAna
isSubElem	Logic.Logic
isSubElemG	Proofs.AbstractState
isSubEModalSign	ExtModal.ExtModalSign
isSubEnv	HasCASL.AsToLe
isSubFplSign	Fpl.Sign
isSubGsign	Logic.Grothendieck
isSubHybridSign	Hybrid.HybridSign
isSublistOf	CASL_DL.Sign
isSublogic	Logic.Grothendieck
isSubMap	CASL.Sign
isSubmapOf	Common.Lib.MapSet
isSubModalSign	Modal.ModalSign
isSubOpMap	CASL.Sign
isSubProcsMap	VSE.As
isSubrelOf	Common.Lib.Rel
IsSubs	Logic.Logic
isSubSig
1 (Function)	CASL.Sign
2 (Function)	HolLight.Sign
isSubsig	LF.Sign
isSubSign
1 (Function)	Isabelle.IsaSign
2 (Function)	OWL2.Sign
3 (Function)	RDF.Sign
isSubsign	Maude.Sign
isSubSignExtension	CASL.Sign
isSubSignOf	Adl.Sign
isSubSigOf
1 (Function)	CSL.Sign
2 (Function)	CommonLogic.Sign
3 (Function)	NeSyPatterns.Sign
4 (Function)	Propositional.Sign
5 (Function)	Temporal.Sign
isSubsortDef	CASL.CCC.TermFormula
IsSubsumed	Syntax.AS_Structured
isSubTHybSgn	TopHybrid.TopHybridSign
isSubTypeSig	Isabelle.IsaSign
isSWRLBuiltIn	OWL2.AS
isSym	LF.Sign
isSymbol	OMDoc.OMDocInterface
isSymbolType	Static.XSimplePath
isSymSort	Maude.PreComorphism
IStateChange	Interfaces.DataTypes
isTextQN	Common.XUpdate
isTheoremType	Static.XSimplePath
isTHFChar	THF.Translate
isThin	Static.WACocone
isThing	OWL2.AS
isTimeLimitExceeded	Proofs.BatchProcessing
isTixAvailable	GUI.HTkUtils
isTop	QVTR.StatAna
isTotal	CASL.Sign
isTransportable	Logic.Grothendieck
isUnambiguous	CASL.Overload
isUndoOrRedo	Interfaces.Command
isUnitary	SoftFOL.PrintTPTP
isUnitType	Comorphisms.HasCASL2THFP_P
isUnprovenGlobalThm	Static.DevGraph
isUnprovenHidingThm	Static.DevGraph
isUnprovenLocalThm	Static.DevGraph
isUnquotedInitialSymbol	TIP.Utils
isUnquotedLaterSymbol	TIP.Utils
isUnreserved	Common.Percent
isURN	Common.IRI
isValidDecl	DFOL.Sign
isValidMorph	DFOL.Morphism
isValidType	DFOL.Sign
isValidVarDecl	DFOL.Sign
isVar
1 (Function)	CSL.AS_BASIC_CSL
2 (Function)	CASL.CCC.TermFormula
3 (Function)	HasCASL.ProgEq
4 (Function)	HolLight.Helper
isWeaklyAmalgamable	Logic.Comorphism
isWfOrientation	GUI.HTkUtils
isWMConfig	GUI.HTkUtils
isXUpdateQN	Common.XUpdate
isZeroInt	OWL2.AS
isZeroNNInt	OWL2.AS
is_False_atom	CASL.AS_Basic_CASL
IS_Inference_Info	THF.As
is_injective	Logic.Logic
Is_int
1 (Data Constructor)	THF.As
2 (Data Constructor)	TPTP.AS
is_model_transportable	Logic.Comorphism
Is_rat
1 (Data Constructor)	THF.As
2 (Data Constructor)	TPTP.AS
IS_Status	THF.As
is_subsig
1 (Function)	Logic.Logic
2 (Function)	OMDoc.Logic_OMDoc
is_transportable	Logic.Logic
is_True_atom	CASL.AS_Basic_CASL
is_weakly_amalgamable	Logic.Comorphism
IT	Common.Item
Italic	GUI.HTkUtils
italiccorrection_map	Common.LaTeX_maps
ItalicFontStyle	GUI.UDGUtils
ite	HasCASL.HToken
Item
1 (Type/Class)	Common.Item
2 (Data Constructor)	Common.Item
item
1 (Function)	Common.AS_Annotation
2 (Function)	DFOL.Utils
itemAux	Common.AnnoState
ItemConvertible	Common.Item
itemList	Common.AnnoState
ItemMaps	Syntax.AS_Library
ItemNameMap
1 (Type/Class)	Syntax.AS_Library
2 (Data Constructor)	Syntax.AS_Library
itemParser	TopHybrid.Parse_AS
items
1 (Function)	Common.Item
2 (Function)	NeSyPatterns.AS
3 (Function)	Propositional.Sign
4 (Function)	Temporal.Sign
itemsNotOnSameCanvas	GUI.HTkUtils
ItemType	Common.Item
itemType	Common.Item
ItemTypeable	Common.Item
Iter	Maude.AS_Maude
iterateCharts	HasCASL.MixAna
iterateXml	Static.XSimplePath
ITGlobal	OMDoc.OMDocInterface
ITLocal	OMDoc.OMDocInterface
IType
1 (Data Constructor)	THF.Cons
2 (Data Constructor)	TPTP.AS
IT_assumption	THF.As
IT_axiom_of_choice	THF.As
IT_definition	THF.As
IT_tautology	THF.As
iunreserved	OWL2.Parse
iunreservedPctEncodedSubDelims	OWL2.Parse
iunreservedSubDelims	OWL2.Parse
iuserinfo	OWL2.Parse
IVar	OWL2.AS
i_hist	Interfaces.DataTypes
I_Include	THF.As
i_libEnv	Interfaces.DataTypes
i_ln	Interfaces.DataTypes
i_state	Interfaces.DataTypes