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

a11	FreeCAD.As
a12	FreeCAD.As
a13	FreeCAD.As
a21	FreeCAD.As
a22	FreeCAD.As
a23	FreeCAD.As
a2o1ci	THF.HasCASL2THF0Buildins
a31	FreeCAD.As
a32	FreeCAD.As
a33	FreeCAD.As
AA_Injective	Syntax.AS_Library
AA_InjectiveAndTotal	Syntax.AS_Library
AA_NeitherInjectiveNorTotal	Syntax.AS_Library
AA_Total	Syntax.AS_Library
abbrAxis	Common.XPath
abbreviatedIRI	OWL2.XMLKeywords
Abbrs	Isabelle.IsaSign
abbrs	Isabelle.IsaSign
abbrStep	Common.XPath
abDec	OWL2.AS
abFloat	OWL2.AS
abInt	OWL2.AS
Abort	VSE.As
aboveItem	GUI.HTkUtils
Abs
1 (Data Constructor)	HolLight.Term
2 (Type/Class)	Isabelle.IsaExport
3 (Data Constructor)	Isabelle.IsaExport
4 (Data Constructor)	Isabelle.IsaSign
Absfix	HasCASL.PrintAs
absInt	OWL2.AS
absS	CSL.Keywords
abstractClasses	CSMOF.Sign
abstraction	Comorphisms.HasCASL2IsabelleHOL
AbstractionGraph	Taxonomy.AbstractGraphView
AbstractWidget	GUI.HTkUtils
absTypes	CSMOF.StatAna
absVar	Isabelle.IsaSign
absVname	Isabelle.IsaExport
Abs_Attrs
1 (Type/Class)	Isabelle.IsaExport
2 (Data Constructor)	Isabelle.IsaExport
Ac	THF.As
accDiags	Proofs.AbstractState
accessToken	Driver.Options
accessTokenS	Driver.Options
acoAlternative	CoCASL.Parse_AS
acoshS	CSL.Keywords
acosS	CSL.Keywords
acothS	CSL.Keywords
AcrossTopLabel	GUI.HTkUtils
acschS	CSL.Keywords
acscS	CSL.Keywords
ACspSymbol	CspCASL.Symbol
Action
1 (Type/Class)	OWL2.Function
2 (Type/Class)	PGIP.GraphQL.Result.Action
3 (Data Constructor)	PGIP.GraphQL.Result.Action
4 (Type/Class)	Persistence.Schema
5 (Data Constructor)	Persistence.Schema
action
1 (Function)	PGIP.GraphQL.Result.ReasoningAttempt
2 (Function)	PGIP.GraphQL.Result.Conjecture
ActionAdd	CMDL.DataTypes
ActionDel	CMDL.DataTypes
ActionDelAll	CMDL.DataTypes
ActionEvaluationState	Persistence.Schema
actionEvaluationState	Persistence.Schema
ActionId
1 (Type/Class)	Persistence.Schema
2 (Data Constructor)	Persistence.Schema
ActionKey	Persistence.Schema
ActionMessage	Persistence.Schema
actionMessage	Persistence.Schema
ActionSet	CMDL.DataTypes
ActionSetAll	CMDL.DataTypes
actionToResult	PGIP.GraphQL.Resolver.ToResult
ActionWrapper
1 (Type/Class)	GUI.UDGUtils
2 (Data Constructor)	GUI.UDGUtils
Activate	GUI.HTkUtils
activate	GUI.GtkUtils
activateElem	GUI.HTkUtils
activateGraphWindow
1 (Function)	Taxonomy.AbstractGraphView
2 (Function)	GUI.GraphAbstraction
activateScrollBarElem	GUI.HTkUtils
Active	GUI.HTkUtils
activeBackground	GUI.HTkUtils
ActiveFocus	GUI.HTkUtils
activeForeground	GUI.HTkUtils
adapter	Persistence.DBConfig
Add	Common.XUpdate
add2hist	CMDL.DataTypesUtils
add2history	Interfaces.History, GUI.GraphLogic
addAliasType	HasCASL.SubtypeDecl
addAllBarTypes	CspCASLProver.Utils
addAllChooseFunctions	CspCASLProver.Utils
addAllCompareWithFun	CspCASLProver.Utils
addAllGaAxiomsCollections	CspCASLProver.Utils
addAllIntegrationTheorems	CspCASLProver.Utils
addAlphabetType	CspCASLProver.Utils
addAnnos	Common.AnnoState
addAnnoSet	CASL.Sign
addAssocId	CASL.StaticAna
addAssocOp	CASL.StaticAna
addAssocs	CASL.StaticAna
AddAttr	Common.XUpdate
addAttr	TIP.Utils
addBools	Fpl.Sign
addBottomAlt	Comorphisms.CASL2SubCFOL
addBuiltins
1 (Function)	Fpl.Sign
2 (Function)	HasCASL.Builtin
addBullet	Common.DocUtils
addCanvasTag	GUI.HTkUtils
addCASL_DLSign	CASL_DL.Sign
AddChange	Common.XUpdate
addClassDecl	HasCASL.ClassAna
addClassMap	HasCASL.PrintLe
addCoCASLSign	CoCASL.CoCASLSign
addCOLSign	COL.COLSign
addCommandHistoryToState	Interfaces.Utils
AddComment	Common.XUpdate
addComponents	Common.Id
addConst
1 (Function)	LF.Twelf2GR
2 (Function)	CspCASLProver.IsabelleUtils
addConstructor	COL.StatAna
addConsts	Fpl.Sign
addCpoMap	HasCASL.PrintLe
addDataSen	HasCASL.TypeDecl
addDef
1 (Function)	LF.Sign
2 (Function)	CspCASLProver.IsabelleUtils
addDGToEnv	OMDoc.Import
addDiags
1 (Function)	CASL.Sign
2 (Function)	HasCASL.Le
addDownload	Syntax.AS_Library
addDownloadAux	Syntax.AS_Library
addEdge	OWL2.Sublogic
addEdgeId	Static.DgUtils
addEdgesToNodeRT	Static.DevGraph
addEdgeToSig	NeSyPatterns.Sign
addEdgeToSig'	NeSyPatterns.Sign
AddElem	Common.XUpdate
addEModalSign	ExtModal.ExtModalSign
addEntity
1 (Function)	OWL2.Sign
2 (Function)	RDF.StaticAnalysis
addEPDecls	CSL.Analysis
addEPDeclToSig	CSL.Sign
addEPDefVals	CSL.Analysis
addEPDefValToSig	CSL.Sign
addEPDomDecls	CSL.Analysis
addEPDomVarDeclToSig	CSL.Sign
addEqFun	CspCASLProver.Utils
addEquiv	OWL2.StaticAnalysis
addErrorDiag	Common.Result
addEventDataType	CspCASLProver.Utils
addEventInfoSet	GUI.HTkUtils
addExpr	Common.XPath
addFeatures	OWL2.Sublogic
addFlatTypes	CspCASLProver.Utils
addFlexOp	ExtModal.StatAna
addFlexPred	ExtModal.StatAna
addFplSign	Fpl.Sign
addFromFile	LF.Twelf2GR
addGenVarDecl	HasCASL.VarDecl
addGlobalAnnos	Common.AnalyseAnnos
addHasInHidingWarning	Proofs.EdgeUtils
addHybridSign	Hybrid.HybridSign
addIdToRules	CASL.MixfixParser
addImplied	OWL2.Theorem
addImports	Syntax.AS_Structured
addIncl	LF.Twelf2GR
addInclSyms	LF.Twelf2GR
addInclusions	OMDoc.OMDocInterface
addInits	VSE.As
addInstanceOf	CspCASLProver.IsabelleUtils
addInstanceOfEquiv	CspCASLProver.Utils
addIntToSymbols	Common.SetColimit
addIsa	Adl.StatAna
addJustificationTheorems	CspCASLProver.Utils
addLeftAnno	Common.AS_Annotation
addLeftComm	CASL.StaticAna
addLemmasCollection	CspCASLProver.IsabelleUtils
addLineAnnos	Common.AnnoState
addlink	Taxonomy.AbstractGraphView
addLinksToDG	OMDoc.Import
addLinkToDG	OMDoc.Import
addLocalTypeVar	HasCASL.TypeAna
addLocalVar	HasCASL.VarDecl
addLogic2LogicList	Framework.Analysis
addLogicName	Comorphisms.LogicList
addMapSet	CASL.Sign
addMod	ExtModal.StatAna
addModalSign	Modal.ModalSign
addMorphToGraph	LF.Twelf2GR
addMsgs	Adl.StatAna
addNewKind	HasCASL.ClassAna
addNewSourceActions	GUI.UDGUtils
addnode	Taxonomy.AbstractGraphView
addNodeAsRefToDG	OMDoc.Import
addNodeRT	Static.DevGraph
addNodeToDG	OMDoc.Import
addNom	ExtModal.StatAna
addNonEmptyLabel	Modal.Utils
addNSMapToEnv	OMDoc.Import
addObserver	COL.StatAna
addOMadtToTheory
1 (Function)	CASL.OMDocImport
2 (Function)	Logic.Logic
addOmdocToTheory
1 (Function)	CASL.OMDocImport
2 (Function)	Logic.Logic
addOp	CASL.StaticAna
addOpId	HasCASL.VarDecl
addOpMapSet	CASL.Sign
addOps	Common.XPath
addOpTo	CASL.Sign
addPairsToSig	CSL.Analysis
addPartiality	HasCASL.AsUtils
addPathNumber	Common.XmlDiff
addPGIPAnswer	PGIP.XMLstate
addPGIPAttributes	PGIP.XMLstate
addPGIPElement	PGIP.XMLstate
addPGIPError	PGIP.XMLstate
addPGIPHandshake	PGIP.XMLparsing
addPGIPMarkup	PGIP.XMLstate
addPGIPReady	PGIP.XMLstate
AddPI	Common.XUpdate
addPlace	CASL.World
addPreAlphabet	CspCASLProver.Utils
addPred	CASL.StaticAna
addPrimRec	CspCASLProver.IsabelleUtils
addProcMap	CspCASLProver.Utils
addProcNameDatatype	CspCASLProver.Utils
addProcNameToProcNameMap	CspCASL.SignCSP
addProcTheorems	CspCASLProver.Utils
addProjFlatFun	CspCASLProver.Utils
addRange	Common.Item
addRefEdgeRT	Static.DevGraph
addRel	Adl.StatAna
addRenames	Comorphisms.CommonLogic2IsabelleHOL
addRules	Common.Earley
addSen	Static.DgUtils
addSenMod	Static.DgUtils
addSens	Adl.StatAna
addSentence	GUI.GtkAddSentence
addSentences
1 (Function)	CASL.StaticAna
2 (Function)	OMDoc.Import
addSig	CASL.Sign
addSigM	CASL.Morphism
addSign
1 (Function)	LF.Twelf2GR
2 (Function)	OWL2.Sign
3 (Function)	RDF.Sign
addSigToGraph	LF.Twelf2GR
addsNewSupersorts	CASL.CCC.OnePoint
addSort	CASL.Sign
addSpecNodeRT	Static.DevGraph
addsToXml	Common.XmlDiff
addString	Common.SetColimit
addStringToTok	Common.Id
addStruct	LF.Twelf2GR
addSubsort	CASL.Sign
addSubsortOrIso	CASL.Sign
addSubTree	Static.DevGraph
addSuffix	THF.Utils
addSuffixToIRI	Common.IRI
addSuperClasses	CSMOF.StatAna
addSuperType	HasCASL.SubtypeDecl
addSym	Static.DgUtils
addSymbol
1 (Function)	CASL.Sign
2 (Function)	HasCASL.Le
addSymbolDecl	DFOL.Sign
addSymbolTransl	DFOL.Comorphism
addSymbToDeclSymbs	CASL.Sign
addSymbToSign
1 (Function)	CASL.Sign
2 (Function)	CommonLogic.Symbol
3 (Function)	OWL2.Sign
addSymMod	Static.DgUtils
addSyms	Adl.StatAna
addSyntax	Logic.Logic
addTerm	Modal.Utils
addTermMod	ExtModal.StatAna
AddText	Common.XUpdate
addTextTag	GUI.HTkUtils
addTheoremWithProof	CspCASLProver.IsabelleUtils
addTheories	OMDoc.OMDocInterface
addTimeMod	ExtModal.StatAna
addTLToDGraph	OMDoc.Import
addTokens	CSL.Analysis
addToMsg	PGIP.XMLstate
addToPosition	CSL.Parse_AS_Basic
addToSig
1 (Function)	CSL.Sign
2 (Function)	NeSyPatterns.Sign
3 (Function)	Propositional.Sign
4 (Function)	Temporal.Sign
addTypeId	HasCASL.VarDecl
addTypeKind	HasCASL.VarDecl
addTypeVarDecl	HasCASL.TypeAna
addUniformRestr	VSE.ToSExpr
addUnit	HasCASL.Merge
addUse	OMDoc.OMDocInterface
addVar
1 (Function)	CSL.AS_BASIC_CSL
2 (Function)	CASL.Sign
addVarDecl	DFOL.Sign
addVarDecls	CSL.Analysis
addVars	CASL.Sign
AddView	Interfaces.Command
addView	LF.Twelf2GR
addWorld	CASL.World
addWorldOp	CASL.World
addWorldPred	CASL.World
addXElem	Common.XUpdate
add_symb_to_sign	Logic.Logic
adjprecS	CSL.Keywords
adjustOrSetConfig	Proofs.BatchProcessing
adjustPos	Common.Result
adjustViewTo	GUI.HTkUtils
adjust_formula_role	TPTP.AS
Adl
1 (Type/Class)	Adl.Logic_Adl
2 (Data Constructor)	Adl.Logic_Adl
Adl2CASL
1 (Type/Class)	Comorphisms.Adl2CASL
2 (Data Constructor)	Comorphisms.Adl2CASL
adlGA	Adl.Print
ADomain	OWL2.AS
adoptEdges	Proofs.EdgeUtils
adoptEdgesAux	Proofs.EdgeUtils
ADT
1 (Type/Class)	OMDoc.OMDocInterface
2 (Data Constructor)	OMDoc.OMDocInterface
ADTArg	OMDoc.DataTypes
ADTConstr	OMDoc.DataTypes
adtId	OMDoc.OMDocInterface
ADTInsort	OMDoc.DataTypes
adts	OMDoc.Import
ADTSelector	OMDoc.DataTypes
ADTSortDef	OMDoc.DataTypes
adtSortDefs	OMDoc.OMDocInterface
ADTType	OMDoc.DataTypes
advisoryLocked	Persistence.Utils
aFalse	VSE.Ana
afAxiomsToDoc	OWL2.PrintMS
aFormula
1 (Function)	CSL.Parse_AS_Basic
2 (Function)	CASL.Parse_AS_Basic
3 (Function)	CommonLogic.Parse_CLIF
After	Common.XUpdate
after	GUI.HTkUtils
afterPlace	Common.Token
AF_CNF_Annotated	TPTP.AS
AF_FOF_Annotated	TPTP.AS
AF_TCF_Annotated	TPTP.AS
AF_TFF_Annotated	TPTP.AS
AF_TFX_Annotated	TPTP.AS
AF_THF_Annotated	TPTP.AS
AF_TPI_Annotated	TPTP.AS
AKindedId	HasCASL.Le
AKindedSymb	CASL.Morphism
ALeft	Common.AS_Annotation
algebraicS	CSL.Keywords
algebraicSpecificationS	CASL.CompositionTable.Keywords
algintS	CSL.Keywords
alias	SoftFOL.EProver
aliasQN	LF.Twelf2GR
AliasType	HasCASL.As
AliasTypeDefn	HasCASL.Le
align	GUI.HTkUtils
alignArityBackwardS	Common.Keywords
alignArityForwardS	Common.Keywords
AlignEntry	Static.DevGraph
Alignment	GUI.HTkUtils
alignmentS	Common.Keywords
AlignMor	Static.DevGraph
AlignSem	Syntax.AS_Library
AlignSig	Static.DevGraph
AlignSpan	Static.DevGraph
ALIGN_ARITIES	Syntax.AS_Library
Align_arities	Syntax.AS_Library
ALIGN_ARITY	Syntax.AS_Library
Align_defn	Syntax.AS_Library
all	Common.Lib.MapSet
allAnnoParser	Common.AnnoState
allAxis	Common.XPath
allbranchS	CSL.Keywords
allConstIds	CASL.StaticAna
allfacS	CSL.Keywords
allGlobLibAct	Interfaces.CmdAction
AllGoals	Interfaces.Command
allIsNonVar	HasCASL.ParseTerm
allItems
1 (Function)	CommonLogic.Sign
2 (Function)	GUI.HTkUtils
allKeywords	CSL.Keywords
allModels	Propositional.ProveWithTruthTable
allOpIds	CASL.StaticAna
AllowClose
1 (Type/Class)	GUI.UDGUtils
2 (Data Constructor)	GUI.UDGUtils
AllowDragging
1 (Type/Class)	GUI.UDGUtils
2 (Data Constructor)	GUI.UDGUtils
allowWhile	GUI.HTkUtils
allPathsS	ExtModal.Keywords
allPredIds	CASL.StaticAna
allProfiles	OWL2.Profiles
allProfSubs	OWL2.ProfilesAndSublogics
allProps	Adl.As
allProved	Common.AutoProofUtils
allRefNodes	Static.DevGraph
allS	Isabelle.IsaConsts
AllSortBottoms	Comorphisms.CASL2SubCFOL
allSpecFile	VSE.Prove
allSpecInDir	VSE.Prove
allSublogics	OWL2.Sublogic
AllValuesFrom	OWL2.AS
allVars	Comorphisms.HolLight2Isabelle
all_sublogics	Logic.Logic
alpar_close	Common.Doc
alpar_closeS	Common.Keywords
alpar_open	Common.Doc
alpar_openS	Common.Keywords
alpar_sep	Common.Doc
alpar_sepS	Common.Keywords
AlphabetisedParallel	CspCASL.AS_CspCASL_Process
alphabetS	CspCASLProver.Consts
alphabetType	CspCASLProver.Consts
alphaConvert	CASL.AlphaConvert
alphaEquiv	CASL.AlphaConvert
alphaOfRename	CspCASL.StatAnaCSP
alsoWarning	CASL.Sign
Alt	GUI.HTkUtils
AltDefn	HasCASL.Le
ALTERNATIVE	CASL.AS_Basic_CASL
Alternative	HasCASL.As
altSyn	Isabelle.IsaSign
AltSyntax
1 (Type/Class)	Isabelle.IsaSign
2 (Data Constructor)	Isabelle.IsaSign
Alt_construct	CASL.AS_Basic_CASL
Always	Adl.As
always	GUI.HTkUtils
AL_Id	CASL_DL.Sign
AL_Term	CASL_DL.Sign
Amalgamates
1 (Type/Class)	Common.Amalgamate
2 (Data Constructor)	Common.Amalgamate
Amalgamation	Syntax.AS_Architecture
AMap	OWL2.Function
Ana	CASL.StaticAna
ana1Datatype	HasCASL.TypeDecl
anaAlts	HasCASL.DataAna
anaArchSpec	Static.AnalysisArchitecture
anaAtom	THF.Utils
anaAtts	Adl.StatAna
anaAxiom
1 (Function)	RDF.StaticAnalysis
2 (Function)	OWL2.StaticAnalysis
anaBasicItem
1 (Function)	CSL.Analysis
2 (Function)	HasCASL.AsToLe
anaBasicSpec	HasCASL.AsToLe
anaBinaryFormula	THF.Utils
anaBinaryPair	THF.Utils
anaBinaryTuple	THF.Utils
anaChanBinding	CspCASL.StatAnaCSP
anaChanDecl	CspCASL.StatAnaCSP
anaChannelName	CspCASL.StatAnaCSP
anaChanSend	CspCASL.StatAnaCSP
anaClassDecls	HasCASL.ClassAna
anaClassItem	HasCASL.AsToLe
anaCommType	CspCASL.StatAnaCSP
anaComorphismDef	Framework.Analysis
anaConnTerm	THF.Utils
anaConst	THF.Utils
anaDatatype	HasCASL.TypeDecl
anaDatatypeDecls	CASL.StaticAna
anaddGenVarDecl	HasCASL.VarDecl
anaddTypeVarDecl	HasCASL.VarDecl
anaEvent	CspCASL.StatAnaCSP
anaEventSet	CspCASL.StatAnaCSP
anaForm	CASL.StaticAna
anaForm'	TopHybrid.StatAna
anaFORMULA	ExtModal.StatAna
anaFormula	HasCASL.TypeDecl
anaFormulaCspCASL	CspCASL.StatAnaCSP
anaFormulaCspCASL'	CspCASL.StatAnaCSP
anaFrameForm	ExtModal.StatAna
AnaFuns
1 (Type/Class)	THF.Utils
2 (Data Constructor)	THF.Utils
anaGmaps	Static.AnalysisStructured
anaHolLightFile	HolLight.HolLight2DG
anaIntersect	Static.AnalysisStructured
anaIsaFile	Isabelle.Isa2DG
anaKind	HasCASL.VarDecl
anaKindM	HasCASL.ClassAna
anaLib	Driver.AnaLib
anaLibDefn	Static.AnalysisLibrary
anaLibExt	Driver.AnaLib
anaLibFileOrGetEnv	Static.AnalysisLibrary
anaLibItem	Static.AnalysisLibrary
anaLibReadPrfs	Driver.AnaLib
anaLocalVarForms	CASL.StaticAna
anaLogicDef	Framework.Analysis
anaLogicFormula	THF.Utils
analysis	Driver.Options
analyzeFormula	CSL.Analysis
analyzeMessages	Isabelle.Isa2DG
anaMaudeFile	Maude.Maude2DG
anaMods	Common.XUpdate
anaNamedProc	CspCASL.StatAnaCSP
anaNamedProcTerm	CspCASL.StatAnaCSP
anaNodeQuery	PGIP.Query
anaObject	Adl.StatAna
anaOMDocFile	OMDoc.Import
anaOpItem	HasCASL.OpDecl
anaPatElem	Adl.StatAna
anaPolyId	HasCASL.MixAna
anaPrefixChoice	CspCASL.StatAnaCSP
anaProcAlphabet	CspCASL.StatAnaCSP
anaProcDecl	CspCASL.StatAnaCSP
anaProcEq	CspCASL.StatAnaCSP
anaProcItem	CspCASL.StatAnaCSP
anaProcName	CspCASL.StatAnaCSP
anaProcTerm	CspCASL.StatAnaCSP
anaProcVar	CspCASL.StatAnaCSP
anaProcVars	CspCASL.StatAnaCSP
anaProgEq	HasCASL.OpDecl
anaQuantifiedFormula	THF.Utils
anaQuery	PGIP.Query
anaRefSpec	Static.AnalysisArchitecture
anaRenaming
1 (Function)	CspCASL.StatAnaCSP
2 (Function)	Static.AnalysisStructured
anaRenamingItem	CspCASL.StatAnaCSP
anaRestriction	Static.AnalysisStructured
anaRule	Adl.StatAna
anaSenFun	THF.Utils
anaSentence	GUI.GtkAddSentence
anaSigItems	HasCASL.AsToLe
anaSourceFile	Static.AnalysisLibrary
anaSpec	Static.AnalysisStructured
anaSpecTop	Static.AnalysisStructured
anaStarType	HasCASL.VarDecl
anaStarTypeM	HasCASL.TypeAna
anaSublogic	Static.AnalysisStructured
anaTerm	CASL.StaticAna
anaTermCspCASL	CspCASL.StatAnaCSP
anaTermCspCASL'	CspCASL.StatAnaCSP
anaTermEvent	CspCASL.StatAnaCSP
anaTHF0	THF.Utils
anaThyFile	Isabelle.Isa2DG
anaTwelfFile	LF.Twelf2DG
AnaType	Driver.Options
anaType	HasCASL.VarDecl
anaTypeItems	HasCASL.TypeDecl
anaTypeM	HasCASL.TypeAna
anaTypeScheme	HasCASL.VarDecl
anaUnion	Static.AnalysisStructured
anaUnitaryFormula	THF.Utils
anaUnitSpec	Static.AnalysisArchitecture
anaUri	PGIP.Query
anaVarDecl	HasCASL.VarDecl
anaVarForms	CASL.StaticAna
anaVariableList	THF.Utils
anaViewDefn	Static.AnalysisLibrary
anaXUpdate	Common.XUpdate
anaXUpdates	Common.XUpdate
ana_ALTERNATIVE	CASL.StaticAna
ana_BASIC_CSP	CspCASL.StatAnaCSP
ana_BASIC_ITEMS	CASL.StaticAna
ana_BASIC_SPEC	CASL.StaticAna
ana_CMix	CoCASL.StatAna
ana_COALTERNATIVE	CoCASL.StatAna
ana_COCOMPONENTS	CoCASL.StatAna
ana_CODATATYPE_DECL	CoCASL.StatAna
ana_CoGenerated	CoCASL.StatAna
ana_COL_SIG_ITEM	COL.StatAna
ana_COMPONENTS	CASL.StaticAna
ana_C_BASIC_ITEM	CoCASL.StatAna
ana_C_SIG_ITEM	CoCASL.StatAna
ana_DATATYPE_DECL	CASL.StaticAna
ana_Generated	CASL.StaticAna
ana_OP_ATTR	CASL.StaticAna
ana_OP_ITEM	CASL.StaticAna
ana_PRED_ITEM	CASL.StaticAna
ana_SIG_ITEMS	CASL.StaticAna
ana_SORT_ITEM	CASL.StaticAna
Ancestor	Common.XPath
Anchor
1 (Data Constructor)	GUI.HTkUtils
2 (Type/Class)	GUI.HTkUtils
anchor	GUI.HTkUtils
anColon	CASL.Formula
anComma	Common.AnnoState
AND
1 (Data Constructor)	THF.As
2 (Data Constructor)	TPTP.AS
And	TIP.AbsTIP
AndB	QVTR.As
andD	DFOL.Utils
andDoc	Common.Doc
andExpr	Common.XPath
andFormula	CSL.Parse_AS_Basic
andFS	THF.HasCASL2THF0Buildins
andId	HasCASL.Builtin
andKey	CommonLogic.Lexer_CLIF
AnDLFORM	CASL_DL.AS_CASL_DL
AndOr	CommonLogic.AS_CommonLogic
andPT	Isabelle.IsaConsts
andS
1 (Function)	CSL.Keywords
2 (Function)	Common.Keywords
3 (Function)	Isabelle.IsaConsts
andSign	THF.PrintTHF
angles	Common.IRI
AnHybFORM	Hybrid.AS_Hybrid
AnID	HasCASL.Le
AnId	Adl.Sign
AnModFORM
1 (Type/Class)	CoCASL.AS_CoCASL
2 (Type/Class)	Modal.AS_Modal
ann	OWL2.MS
AnnAnInd	OWL2.AS
annAnnotations	OWL2.AS
AnnFrameBit
1 (Data Constructor)	OWL2.MS
2 (Type/Class)	OWL2.MS
AnnoAppl
1 (Type/Class)	CASL_DL.Sign
2 (Data Constructor)	CASL_DL.Sign
annoArg	Common.AS_Annotation
annoDoc	Common.Doc
annoFormParser	TopHybrid.Parse_AS
AnnoLiteral	CASL_DL.Sign
AnnoMap	CASL.Sign
annoMap	CASL.Sign
annoParser	Common.AnnoState
annoParser2	Syntax.Parse_AS_Structured
annoProperties	CASL_DL.Sign
AnnoProperty	CASL_DL.Sign
annoPropertySens	CASL_DL.Sign
annoRange	Common.AS_Annotation
Annos
1 (Type/Class)	SoftFOL.Sign
2 (Data Constructor)	SoftFOL.Sign
annos	Common.AnnoState
annosParser	Common.AnnoState
AnnoState
1 (Type/Class)	Common.AnnoState
2 (Data Constructor)	Common.AnnoState
AnnotatedList	OWL2.MS
Annotated_formula
1 (Type/Class)	TPTP.AS
2 (Data Constructor)	TPTP.AS
annotated_formula	TPTP.Parser
Annotation
1 (Type/Class)	Common.AS_Annotation
2 (Type/Class)	OWL2.AS
3 (Data Constructor)	OWL2.AS
AnnotationAssertion	OWL2.AS
annotationAssertionK	OWL2.XMLKeywords
annotationAssertionS	OWL2.ASKeywords
annotationAssertionsToDoc	OWL2.PrintMS
AnnotationAxiom
1 (Data Constructor)	OWL2.AS
2 (Type/Class)	OWL2.AS
annotationbf_map	Common.LaTeX_maps
AnnotationBit	OWL2.MS
annotationF	Common.ToXml
AnnotationFrameBit	OWL2.MS
annotationK	OWL2.XMLKeywords
annotationL	Common.AnnoParser
AnnotationProperty
1 (Data Constructor)	OWL2.AS
2 (Type/Class)	OWL2.AS
annotationPropertyC	OWL2.ColonKeywords
AnnotationPropertyDomain	OWL2.AS
annotationPropertyDomainK	OWL2.XMLKeywords
annotationPropertyDomainS	OWL2.ASKeywords
AnnotationPropertyFrame	OWL2.PrintMS
annotationPropertyFrame	OWL2.ParseMS
annotationPropertyK	OWL2.XMLKeywords
AnnotationPropertyRange	OWL2.AS
annotationPropertyRangeK	OWL2.XMLKeywords
annotationPropertyRangeS	OWL2.ASKeywords
annotationRoles	OWL2.Sign
Annotations
1 (Type/Class)	OWL2.MS
2 (Type/Class)	OWL2.ParseMS
3 (Type/Class)	OWL2.PrintMS
4 (Type/Class)	THF.As
5 (Data Constructor)	THF.As
6 (Type/Class)	TPTP.AS
7 (Data Constructor)	TPTP.AS
annotationS	OWL2.ASKeywords
annotations
1 (Function)	Common.ToXml
2 (Function)	Common.AnnoParser
3 (Function)	OWL2.ParseMS
4 (Function)	TPTP.AS
annotationsAF	THF.As
annotationsC	OWL2.ColonKeywords
AnnotationsSection	OWL2.PrintMS
AnnotationSubject	OWL2.AS
annotationSubjectList	OWL2.XMLKeywords
AnnotationValue	OWL2.AS
annotationValue
1 (Function)	OWL2.ParseMS
2 (Function)	OWL2.Parse
annotationValueList	OWL2.XMLKeywords
annotation_map	Common.LaTeX_maps
Annoted
1 (Type/Class)	Common.AS_Annotation
2 (Data Constructor)	Common.AS_Annotation
annotedArchSpec	Syntax.Parse_AS_Architecture
annotedSyms	OWL2.MS
Annote_text	Common.AS_Annotation
Annote_word
1 (Type/Class)	Common.AS_Annotation
2 (Data Constructor)	Common.AS_Annotation
AnnoType	OWL2.MS
annProperty	OWL2.AS
AnnSubAnInd	OWL2.AS
AnnSubIri	OWL2.AS
annToAItem	Common.Item
AnnValLit	OWL2.AS
AnnValue	OWL2.AS
annValue	OWL2.AS
AnonymousIndividual	OWL2.AS
anonymousIndividualK	OWL2.XMLKeywords
anSemi	Common.AnnoState
anSemiOrComma	Common.AnnoState
Answer	GUI.HTkUtils
Antisymmetric	OWL2.AS
antisymmetricObjectPropertyK	OWL2.XMLKeywords
antisymmetricS
1 (Function)	CSL.Keywords
2 (Function)	OWL2.Keywords
anToJson	Common.Json
AnUri
1 (Data Constructor)	OWL2.Symbols
2 (Data Constructor)	RDF.Symbols
AnyComorphism	Logic.Comorphism
AnyEntity	OWL2.Symbols
AnyKind	HasCASL.As
AnyLogic	Logic.Logic
AnyModification	Logic.Modification
AnyMorphism	Logic.Morphism
anyOf	TIP.Utils
Anything	Adl.As
anyURI	OWL2.Keywords
AParsable	Common.AnnoState
AParser	Common.AnnoState
aparser	Common.AnnoState
APFloat	CSL.AS_BASIC_CSL
APInt	CSL.AS_BASIC_CSL
App
1 (Type/Class)	Isabelle.IsaExport
2 (Data Constructor)	Isabelle.IsaExport
3 (Data Constructor)	Isabelle.IsaSign
4 (Data Constructor)	TIP.AbsTIP
Append	Common.XUpdate
append
1 (Function)	Common.Lib.SizedList
2 (Function)	CommonLogic.PredefinedCASLAxioms
appendAnno	Common.AS_Annotation
appendDiags	Common.Result
appendId	Common.Id
appendS
1 (Function)	CSL.Keywords
2 (Function)	CASL.ToDoc
3 (Function)	Common.XUpdate
4 (Function)	Isabelle.IsaConsts
appendSentences	HasCASL.Le
appendString	Common.Id
appendText	GUI.HTkUtils
appendType	CommonLogic.PredefinedCASLAxioms
appendTypeS	CommonLogic.PredefinedCASLAxioms
appendV	Isabelle.IsaConsts
Appl
1 (Data Constructor)	CASL.CompositionTable.ModelFormula
2 (Data Constructor)	DFOL.AS_DFOL
3 (Data Constructor)	LF.Sign
4 (Data Constructor)	Comorphisms.HasCASL2IsabelleHOL
Application	CASL.AS_Basic_CASL
applId	Common.Id
ApplTerm	HasCASL.As
Apply
1 (Data Constructor)	Isabelle.IsaSign
2 (Data Constructor)	Maude.AS_Maude
3 (Data Constructor)	Syntax.AS_Structured
apply	THF.Poly
applyAddOp	Static.XSimplePath
applyAutomatic	Driver.Options
applyChange	Static.XSimplePath
applyChanges
1 (Function)	Static.XSimplePath
2 (Function)	GUI.GraphAbstraction
applyGeneralUpdate	GUI.UDGUtils
applyMap
1 (Function)	CSL.Morphism
2 (Function)	CommonLogic.Morphism
3 (Function)	NeSyPatterns.Morphism
4 (Function)	Propositional.Morphism
5 (Function)	QBF.Morphism
6 (Function)	Temporal.Morphism
applyMorph	DFOL.Morphism
applyMorphism
1 (Function)	CSL.Morphism
2 (Function)	CommonLogic.Morphism
3 (Function)	NeSyPatterns.Morphism
4 (Function)	Propositional.Morphism
5 (Function)	QBF.Morphism
6 (Function)	Temporal.Morphism
applyProofHistory	Static.History
applyRenamings	Maude.Morphism
applyResult	THF.Poly
applyS	Isabelle.IsaConsts
applySign	THF.PrintTHF
applySimpleUpdate	GUI.UDGUtils
applySimpleUpdate'	GUI.UDGUtils
applySortMap2CASLSort	Maude.PreComorphism
applySortMap2CASLSorts	Maude.PreComorphism
applySymMap
1 (Function)	CSL.Symbol
2 (Function)	NeSyPatterns.Symbol
3 (Function)	Propositional.Symbol
4 (Function)	QBF.Symbol
5 (Function)	Temporal.Symbol
applyTermSeq	Comorphisms.CommonLogic2IsabelleHOL
applyToUpdater	GUI.UDGUtils
applyType	THF.Poly
applyUpdate	GUI.UDGUtils
appRange	Common.Id
approximateS	Common.Keywords
APPROXIMATION	Syntax.AS_Structured
Approximation	Syntax.AS_Structured
appS	Isabelle.IsaConsts
APrefix	OWL2.Symbols
AprosNDCalculus	SoftFOL.MathServParsing
apSection	OWL2.ParseMS
aptS	Isabelle.IsaConsts
ARange	OWL2.AS
arangeCaseAlts	Comorphisms.HasCASL2IsabelleHOL
arbitraryLookaheadOption	OWL2.ParseAS
Arc	GUI.HTkUtils
ArcClass	GUI.UDGUtils
ArchOrRefEntry	Static.DevGraph
archS	Common.Keywords
archSpecDiags	Static.DevGraph
ARCH_SPEC	Syntax.AS_Architecture
Arch_spec_defn	Syntax.AS_Library
ARCH_SPEC_NAME	Syntax.AS_Architecture
Arch_spec_name	Syntax.AS_Architecture
Arch_unit_spec	Syntax.AS_Architecture
ArcTypeClass	GUI.UDGUtils
ArcTypeConfig	GUI.UDGUtils
ArcTypeParms	GUI.UDGUtils
Arg
1 (Type/Class)	Isabelle.IsaExport
2 (Data Constructor)	Isabelle.IsaExport
3 (Data Constructor)	Isabelle.IsaSign
ArgComp	OMDoc.DataTypes
argId	Isabelle.IsaSign
arglengthS	CSL.Keywords
argPrio	Isabelle.IsaExport
args	Comorphisms.HasCASL2IsabelleHOL
argSorts	Comorphisms.CASL2SubCFOL
args_OP_TYPE	CASL.AS_Basic_CASL
Arguments	THF.As
arguments	SoftFOL.Sign
argumentWW	CMDL.ParseProofScript
arguOfTerm	CASL.CCC.TermFormula
ARight	Common.AS_Annotation
aright	HolLight.Helper
arit	Isabelle.IsaSign
Arities	Isabelle.IsaSign
arities	Isabelle.IsaSign
ARITY	DFOL.Sign
Arity
1 (Type/Class)	Isabelle.IsaExport
2 (Data Constructor)	Isabelle.IsaExport
arity
1 (Function)	CSL.AS_BASIC_CSL
2 (Function)	SoftFOL.Sign
arity2tp	Comorphisms.HolLight2Isabelle
arityArgs	Isabelle.IsaSign
arityRes	Isabelle.IsaSign
arityS	CASL.CompositionTable.Keywords
arrayS	CSL.Keywords
Arrow	HasCASL.AsUtils
arrow	GUI.HTkUtils
Arrow1	GUI.HTkUtils
Arrow2	GUI.HTkUtils
ArrowHead	GUI.HTkUtils
arrowId	HasCASL.AsUtils
arrowIdRange	HasCASL.AsUtils
arrowKind	HasCASL.ParseTerm
arrowLink	CMDL.Utils
arrowOMS	LF.Twelf2GR
arrowshape	GUI.HTkUtils
arrowSign	THF.PrintTHF
arrowstyle	GUI.HTkUtils
arrowT	HasCASL.ParseTerm
ArrowTy	TIP.AbsTIP
AS	OWL2.AS
As	TIP.AbsTIP
AsAppl	Common.ConvertMixfixToken
asechS	CSL.Keywords
asecS	CSL.Keywords
AShow
1 (Type/Class)	Isabelle.IsaExport
2 (Data Constructor)	Isabelle.IsaExport
asinhS	CSL.Keywords
asinS	CSL.Keywords
asJson	Common.Json
asKey	Common.AnnoState
askFileNameAndSave
1 (Function)	GUI.HTkUtils
2 (Function)	GUI.Utils
asKind	Maude.Symbol
asP	Common.Keywords
AsPattern	HasCASL.As
asPattern	HasCASL.ParseTerm
aSpec	Syntax.Parse_AS_Structured
aspect	GUI.HTkUtils
AspectRatio	GUI.HTkUtils
aspectRatio	GUI.HTkUtils
Ass	CSL.AS_BASIC_CSL
asS	Common.Keywords
asSchemes	HasCASL.Unify
AssDefinition	CSL.AS_BASIC_CSL
asSeparator	Common.Lexer
Assert	TIP.AbsTIP
Assertion
1 (Data Constructor)	Adl.Sign
2 (Type/Class)	OWL2.AS
3 (Data Constructor)	OWL2.AS
4 (Data Constructor)	OWL2.MS
5 (Type/Class)	TIP.AbsTIP
Assign	VSE.As
assign	VSE.As
assignment	CSL.Parse_AS_Basic
assignmentToXml	OMDoc.XmlInterface
assignS	Common.Keywords
Assoc
1 (Data Constructor)	HasCASL.As
2 (Data Constructor)	Maude.AS_Maude
3 (Type/Class)	OMDoc.DataTypes
assoc	Maude.AS_Maude
AssocConnective	THF.As
AssocEither	Common.AS_Annotation
AssocMap	Common.GlobalAnnotations
assocOps	CASL.Sign
assocS	Common.Keywords
Assoc_anno	Common.AS_Annotation
assoc_annos	Common.GlobalAnnotations
Assoc_connective	TPTP.AS
Assoc_op_attr	CASL.AS_Basic_CASL
asSort	Maude.Symbol
Assumed	SoftFOL.MathServParsing
Assumes
1 (Type/Class)	Isabelle.IsaExport
2 (Data Constructor)	Isabelle.IsaExport
assumes	Isabelle.IsaSign
Assumps	HasCASL.Le
assumps	HasCASL.Le
Assumption
1 (Type/Class)	Isabelle.IsaExport
2 (Data Constructor)	Isabelle.IsaExport
3 (Type/Class)	OMDoc.OMDocInterface
4 (Data Constructor)	OMDoc.OMDocInterface
5 (Data Constructor)	SoftFOL.Sign
6 (Data Constructor)	THF.As
7 (Data Constructor)	TPTP.AS
assumptionArgs	Isabelle.IsaExport
assumptionName	Isabelle.IsaExport
Assumptions_record	TPTP.AS
Assumption_Attrs
1 (Type/Class)	Isabelle.IsaExport
2 (Data Constructor)	Isabelle.IsaExport
AsSymbol	Maude.Meta.AsSymbol, Maude.Meta
asSymbol	Maude.Meta.AsSymbol, Maude.Meta
asSymbolMaybe	Maude.Meta.AsSymbol, Maude.Meta
asSymbolSet	Maude.Meta.AsSymbol, Maude.Meta
asT	Common.AnnoState
AString
1 (Type/Class)	Isabelle.IsaExport
2 (Data Constructor)	Isabelle.IsaExport
AsType	HasCASL.As
asXml	Common.ToXml
Asy	Adl.As
ASymbol
1 (Data Constructor)	CASL.Morphism
2 (Data Constructor)	HasCASL.Le
3 (Data Constructor)	OWL2.Symbols
4 (Data Constructor)	RDF.Symbols
Asymmetric	OWL2.AS
AsymmetricObjectProperty	OWL2.AS
asymmetricObjectPropertyK	OWL2.XMLKeywords
asymmetricObjectPropertyS	OWL2.ASKeywords
asymmetricS	OWL2.Keywords
At
1 (Data Constructor)	Hybrid.AS_Hybrid
2 (Data Constructor)	TIP.AbsTIP
3 (Data Constructor)	TopHybrid.AS_TopHybrid
at	GUI.HTkUtils
atan2S	CSL.Keywords
atanhS	CSL.Keywords
atanS	CSL.Keywords
AtBottom	GUI.HTkUtils
atcLogicLookup	ATC.Grothendieck
ATermConvertibleSML	ATC.Sml_cats
ATermIn	Driver.Options
atLeastOneSort	Maude.PreComorphism
atLeastOneSortLODS	Maude.PreComorphism
atLeastOneSortODS	Maude.PreComorphism
atLeastOneSortSS	Maude.PreComorphism
AtLeft	GUI.HTkUtils
atMaybe	Common.Utils
atMost
1 (Function)	OWL2.ParseMS
2 (Function)	OWL2.Parse
atMost1
1 (Function)	OWL2.ParseMS
2 (Function)	OWL2.Parse
aToken	HasCASL.ParseTerm
ATOM
1 (Type/Class)	CommonLogic.AS_CommonLogic
2 (Type/Class)	ConstraintCASL.AS_ConstraintCASL
Atom
1 (Data Constructor)	CASL.AS_Basic_CASL
2 (Data Constructor)	CommonLogic.AS_CommonLogic
3 (Type/Class)	OWL2.AS
4 (Type/Class)	TPTP.AS
atom
1 (Function)	CommonLogic.Parse_CLIF
2 (Function)	ConstraintCASL.Formula
Atomar_Term	ConstraintCASL.AS_ConstraintCASL
ATOMCONJUNCTION	ConstraintCASL.AS_ConstraintCASL
Atomic
1 (Data Constructor)	CASL.Sublogic
2 (Data Constructor)	HasCASL.Sublogic
atomic
1 (Function)	OWL2.ParseMS
2 (Function)	OWL2.Parse
atomicFormula	CSL.Parse_AS_Basic
AtomicWord	THF.As
Atomic_defined_word	TPTP.AS
Atomic_system_word	TPTP.AS
Atomic_word	TPTP.AS
atomsent	CommonLogic.Parse_KIF
Atom_Conjunction	ConstraintCASL.AS_ConstraintCASL
Atom_constant	TPTP.AS
Atom_sent	CommonLogic.AS_CommonLogic
Atom_untyped	TPTP.AS
aToTermParser	Common.AnnoState
ATPBatchStopped	Interfaces.GenericATPState
ATPError	Interfaces.GenericATPState
ATPFunctions
1 (Type/Class)	Interfaces.GenericATPState
2 (Data Constructor)	Interfaces.GenericATPState
AtpFunType	TPTP.Prover.Common
ATPIdentifier	Interfaces.GenericATPState
atpInsertSentence	Interfaces.GenericATPState
ATPRetval	Interfaces.GenericATPState
atpRetValAndProofStatus	TPTP.Prover.Common
atpRetValAndProofStatus'	TPTP.Prover.Common
ATPSuccess	Interfaces.GenericATPState
ATPTacticScript
1 (Type/Class)	Interfaces.GenericATPState
2 (Data Constructor)	Interfaces.GenericATPState
ATPTLimitExceeded	Interfaces.GenericATPState
atpTransSenName	Interfaces.GenericATPState
AtRight	GUI.HTkUtils
aTrue	VSE.Ana
atS	ExtModal.Keywords
attachClient	GUI.UDGUtils
AtTop	GUI.HTkUtils
Attr
1 (Type/Class)	Maude.AS_Maude
2 (Type/Class)	TIP.AbsTIP
Attribute	Common.XPath
attributeS	Common.XUpdate
attrList	Common.Item
attrMap	Common.XmlDiff
attrOrigin	Common.AS_Annotation
AttrSymbol
1 (Type/Class)	TIP.AbsTIP
2 (Data Constructor)	TIP.AbsTIP
attr_om	OMDoc.XmlInterface
ATType	Driver.Options
AtWord	CASL.Kif
aType	HasCASL.Builtin
aTypeArg	HasCASL.Builtin
at_as	OMDoc.XmlInterface
at_associativity	OMDoc.XmlInterface
at_base	OMDoc.XmlInterface
at_fixity	OMDoc.XmlInterface
at_for	OMDoc.XmlInterface
at_from	OMDoc.XmlInterface
at_implicit	OMDoc.XmlInterface
at_index	OMDoc.XmlInterface
at_meta	OMDoc.XmlInterface
at_module	OMDoc.XmlInterface
at_name	OMDoc.XmlInterface
at_precedence	OMDoc.XmlInterface
at_role	OMDoc.XmlInterface
at_style	OMDoc.XmlInterface
at_to	OMDoc.XmlInterface
at_total	OMDoc.XmlInterface
at_type	OMDoc.XmlInterface
at_value	OMDoc.XmlInterface
at_version	OMDoc.XmlInterface
author	SoftFOL.Sign
Auto	Isabelle.IsaSign
AutoInsert	Taxonomy.MMiSSOntology
Automatic	Interfaces.Command
automatic
1 (Function)	Proofs.Automatic
2 (Function)	HetsAPI.Commands, HetsAPI
automaticFromList	Proofs.Automatic
automaticHideTheoremShift
1 (Function)	Proofs.HideTheoremShift
2 (Function)	HetsAPI.Commands, HetsAPI
automaticHideTheoremShiftFromList	Proofs.HideTheoremShift
autoProofAtNode	Proofs.AbstractState
autoS	Isabelle.IsaConsts
AutoSimpAdd	Isabelle.IsaSign
auxItemList	Common.AnnoState
Awaiting	GUI.HTkUtils
AwaitingAlways	GUI.HTkUtils
AWord
1 (Type/Class)	SoftFOL.Sign, SoftFOL.ParseTPTP
2 (Data Constructor)	SoftFOL.Sign, SoftFOL.ParseTPTP
axclassS	Isabelle.IsaConsts
Axiom
1 (Type/Class)	Isabelle.IsaExport
2 (Data Constructor)	Isabelle.IsaExport
3 (Type/Class)	Isabelle.IsaSign
4 (Data Constructor)	Isabelle.IsaSign
5 (Data Constructor)	OMDoc.DataTypes
6 (Type/Class)	OMDoc.OMDocInterface
7 (Data Constructor)	OMDoc.OMDocInterface
8 (Type/Class)	OWL2.AS
9 (Type/Class)	OWL2.MS
10 (Type/Class)	PGIP.GraphQL.Result.Axiom
11 (Data Constructor)	PGIP.GraphQL.Result.Axiom
12 (Data Constructor)	PGIP.GraphQL.Result.Sentence
13 (Data Constructor)	Persistence.Schema.Enums
14 (Type/Class)	Persistence.Schema
15 (Data Constructor)	Persistence.Schema
16 (Type/Class)	RDF.AS
17 (Data Constructor)	RDF.AS
18 (Data Constructor)	SoftFOL.Sign
19 (Data Constructor)	THF.As
20 (Data Constructor)	TPTP.AS
axiom	OWL2.Profiles
AxiomAnnotations	OWL2.AS
axiomArgs
1 (Function)	Isabelle.IsaExport
2 (Function)	Isabelle.IsaSign
axiomatizationS	Isabelle.IsaConsts
axiomBit	OWL2.MS
axiomCMPs	OMDoc.OMDocInterface
axiomFMPs	OMDoc.OMDocInterface
AxiomId
1 (Type/Class)	Persistence.Schema
2 (Data Constructor)	Persistence.Schema
AxiomInclusion	OMDoc.OMDocInterface
AxiomItems
1 (Data Constructor)	HasCASL.As
2 (Data Constructor)	QBF.AS_BASIC_QBF
AxiomKey	Persistence.Schema
axiomName
1 (Function)	Isabelle.IsaExport
2 (Function)	Isabelle.IsaSign
3 (Function)	OMDoc.OMDocInterface
AxiomOfChoice	TPTP.AS
Axioms
1 (Data Constructor)	Interfaces.Command
2 (Type/Class)	Isabelle.IsaExport
3 (Data Constructor)	Isabelle.IsaExport
4 (Data Constructor)	Isabelle.IsaSign
axiomS	Common.Keywords
axioms
1 (Function)	OWL2.AS
2 (Function)	SoftFOL.MathServParsing
3 (Function)	SoftFOL.EProver
4 (Function)	THF.ProverState
AxiomsChange	Interfaces.DataTypes
axiomsF	Isabelle.IsaParse
axiomsFromProofObject	TPTP.Prover.ProofParser
axiomsS	Isabelle.IsaConsts
axiomsSens	Maude.PreComorphism
axiomsSensOD	Maude.PreComorphism
axiomsSensODS	Maude.PreComorphism
axiomsSensSS	Maude.PreComorphism
axiomTerm	Isabelle.IsaSign
axiomToLocalVarAxioms	CASL.Parse_AS_Basic
axiomTopic	OWL2.MS
axiomToResult	PGIP.GraphQL.Resolver.ToResult
Axiom_Attrs
1 (Type/Class)	Isabelle.IsaExport
2 (Data Constructor)	Isabelle.IsaExport
Axiom_ConstraintFormula	ConstraintCASL.AS_ConstraintCASL
Axiom_item
1 (Data Constructor)	CSL.AS_BASIC_CSL
2 (Data Constructor)	DFOL.AS_DFOL
Axiom_items
1 (Data Constructor)	CASL.AS_Basic_CASL
2 (Data Constructor)	CommonLogic.AS_CommonLogic
3 (Data Constructor)	Propositional.AS_BASIC_Propositional
axiom_map	Common.LaTeX_maps
axiom_width	Common.LaTeX_funs
Axis	Common.XPath
axis	Common.XPath
axToFrame	OWL2.MS
ax_that	Comorphisms.CommonLogic2IsabelleHOL
A_Lower_Word	THF.As
A_Single_Quoted	THF.As
A_type	CASL.AS_Basic_CASL