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

C	Adl.As
CAd	OMDoc.OMDocInterface
cAddView	CMDL.DgCommands
calcGlobalHistory	GUI.GraphLogic
calcLineLen	Common.LaTeX_funs
calcSig	HolLight.HolLight2DG
calculateMorphismOfPath	Proofs.EdgeUtils
calculateProofBasis	Proofs.EdgeUtils
calculus	SoftFOL.MathServParsing
Call	VSE.As
callMathServ	SoftFOL.MathServParsing
callParser	TopHybrid.Parse_AS
callSpec	MMT.Hets2mmt
canForm
1 (Function)	LF.Morphism
2 (Function)	DFOL.Morphism
canGetInfixStatus	HolLight.Helper
canvAnchor	GUI.HTkUtils
Canvas	GUI.HTkUtils
CanvasItem	GUI.HTkUtils
CanvasTag	GUI.HTkUtils
CapButt	GUI.HTkUtils
CapProjecting	GUI.HTkUtils
CapRound	GUI.HTkUtils
CapStyle	GUI.HTkUtils
capstyle	GUI.HTkUtils
card
1 (Function)	OWL2.ShipSyntax
2 (Function)	OWL2.Parse
Cardinality
1 (Type/Class)	Taxonomy.MMiSSOntology
2 (Type/Class)	OWL2.AS
3 (Data Constructor)	OWL2.AS
4 (Data Constructor)	CASL_DL.AS_CASL_DL
cardinality	CSMOF.Sign
cardinalityS	CASL_DL.AS_CASL_DL
CardinalityType	OWL2.AS
cardinalityType	OWL2.Print
cardKeyword	CASL_DL.Parse_AS
cardnoS	CSL.Keywords
CardType	CASL_DL.AS_CASL_DL
cartesian	CspCASL.LocalTop
casask	CSL.Reduce_Interface
casDeclareEquation	CSL.Reduce_Interface
casDeclareOperators	CSL.Reduce_Interface
Case
1 (Data Constructor)	Isabelle.IsaSign
2 (Data Constructor)	Fpl.As
caseExpr	CSL.Parse_AS_Basic
CaseMatrix
1 (Type/Class)	Comorphisms.HasCASL2IsabelleHOL
2 (Data Constructor)	Comorphisms.HasCASL2IsabelleHOL
caseS	Common.Keywords
caseSubst	Isabelle.IsaSign
CaseTac	Isabelle.IsaSign
caseTacS	Isabelle.IsaConsts
CaseTerm	HasCASL.As
caseTerm
1 (Function)	Fpl.As
2 (Function)	HasCASL.ParseTerm
casfactorExp	CSL.Reduce_Interface
casint	CSL.Reduce_Interface
CASL
1 (Type/Class)	CASL.Logic_CASL
2 (Data Constructor)	CASL.Logic_CASL
CASL2CoCASL
1 (Type/Class)	Comorphisms.CASL2CoCASL
2 (Data Constructor)	Comorphisms.CASL2CoCASL
CASL2CspCASL
1 (Type/Class)	Comorphisms.CASL2CspCASL
2 (Data Constructor)	Comorphisms.CASL2CspCASL
CASL2ExtModal
1 (Type/Class)	Comorphisms.CASL2ExtModal
2 (Data Constructor)	Comorphisms.CASL2ExtModal
CASL2HasCASL
1 (Type/Class)	Comorphisms.CASL2HasCASL
2 (Data Constructor)	Comorphisms.CASL2HasCASL
CASL2Hybrid
1 (Type/Class)	Comorphisms.CASL2Hybrid
2 (Data Constructor)	Comorphisms.CASL2Hybrid
CASL2Modal
1 (Type/Class)	Comorphisms.CASL2Modal
2 (Data Constructor)	Comorphisms.CASL2Modal
CASL2OWL
1 (Type/Class)	OWL2.CASL2OWL
2 (Data Constructor)	OWL2.CASL2OWL
CASL2PCFOL
1 (Type/Class)	Comorphisms.CASL2PCFOL
2 (Data Constructor)	Comorphisms.CASL2PCFOL
CASL2Prop
1 (Type/Class)	Comorphisms.CASL2Prop
2 (Data Constructor)	Comorphisms.CASL2Prop
CASL2SubCFOL
1 (Type/Class)	Comorphisms.CASL2SubCFOL
2 (Data Constructor)	Comorphisms.CASL2SubCFOL
CASL2TopSort
1 (Type/Class)	Comorphisms.CASL2TopSort
2 (Data Constructor)	Comorphisms.CASL2TopSort
CASL2VSE
1 (Type/Class)	Comorphisms.CASL2VSE
2 (Data Constructor)	Comorphisms.CASL2VSE
CASL2VSEImport
1 (Type/Class)	Comorphisms.CASL2VSEImport
2 (Data Constructor)	Comorphisms.CASL2VSEImport
CASL2VSERefine
1 (Type/Class)	Comorphisms.CASL2VSERefine
2 (Data Constructor)	Comorphisms.CASL2VSERefine
caslAmalg	Driver.Options
CASLAmalgOpt	Common.Amalgamate
caslAmalgOpts	Common.Amalgamate
CASLBasicSpec	CASL.Logic_CASL
caslChar	Common.Lexer
CASLDiag	CASL.Amalgamability
caslDLCardTypes	CASL_DL.AS_CASL_DL
CASLFORMULA	CASL.AS_Basic_CASL
CASLIn	Driver.Options
CaslKind	CspCASL.SymbItems
caslLetter	Common.Lexer
caslLetters	Common.Lexer
caslLogic	HasCASL.Sublogic
caslMetaTheory	CASL.OMDoc, CASL.OMDocExport
CASLMor	CASL.Morphism
CaslOpItem	Fpl.As
cASLsen_analysis	CASL.StaticAna
CASLSign	CASL.Sign
CaslSortItem	Fpl.As
CaslSymbType	CspCASL.Symbol
CASLTERM	CASL.AS_Basic_CASL
caslToCspSymbol	CspCASL.Symbol
caslTop	CASL.Sublogic
CaslType	CspCASL.SymbItems
casl_basic_reserved_words	Common.Token
casl_comment_latex	Common.LaTeX_funs
CASL_DL
1 (Type/Class)	CASL_DL.Logic_CASL_DL
2 (Data Constructor)	CASL_DL.Logic_CASL_DL
CASL_DL2CASL
1 (Type/Class)	Comorphisms.CASL_DL2CASL
2 (Data Constructor)	Comorphisms.CASL_DL2CASL
CASL_DLSign
1 (Type/Class)	CASL_DL.Sign
2 (Data Constructor)	CASL_DL.Sign
casl_DL_reserved_words	CASL_DL.AS_CASL_DL
CASL_DL_SL	CASL_DL.Sublogics
CASL_Formulas	CASL.Sublogic
casl_keys	Common.Token
casl_normal_latex	Common.LaTeX_funs
casl_reserved_fops	Common.Token
casl_reserved_fwords	Common.Token
casl_reserved_ops	Common.Token
casl_reserved_words	Common.Token
CASL_SL
1 (Type/Class)	CASL.Sublogic
2 (Data Constructor)	CASL.Sublogic
casl_structured_reserved_words	Common.Token
CASL_Sublogics	CASL.Sublogic
casqelim	CSL.Reduce_Interface
casremainder	CSL.Reduce_Interface
cassimplify	CSL.Reduce_Interface
cassolve	CSL.Reduce_Interface
Cast	CASL.AS_Basic_CASL
cat
1 (Function)	Common.Lib.Pretty
2 (Function)	Common.Doc
catBoxes	OWL2.MS2Ship
catchIOException	Common.IO
Category	Logic.Logic
catPosAux	Common.Id
catRange	Common.Id
catSels	CASL.StaticAna
CAx	OMDoc.OMDocInterface
Cax	THF.As
cB	ExtModal.Keywords
cBasic	CoCASL.Parse_AS
cBraceT	Common.Lexer
cBracketT	Common.Lexer
ccAutomatic	Logic.Prover
ccBatch	Logic.Prover
cCloseComment	CMDL.Shell
ccName	Logic.Prover
ccNeedsTimer	Logic.Prover
CCo	OMDoc.OMDocInterface
cComment	CMDL.Shell
cComorphism	Interfaces.DataTypes
CComorphismChange	Interfaces.DataTypes
cComorphismsTo	CMDL.InfoCommands
cConsChecker	CMDL.ProveConsistency
CConservative	OMDoc.OMDocInterface
cConservCheck	CMDL.ConsCommands
cConservCheckAll	CMDL.ConsCommands
cConsistCheck	CMDL.ConsCommands
cConsistCheckAll	CMDL.ConsCommands
ccProofTree	Logic.Prover
ccResult	Logic.Prover
ccSig2CASLSign	CspCASL.SignCSP
ccSig2CspSign	CspCASL.SignCSP
CCStatus
1 (Type/Class)	Logic.Prover
2 (Data Constructor)	Logic.Prover
ccSublogic	Logic.Prover
ccTermCast	CspCASL.StatAnaCSP
cCurrentComorphism	CMDL.InfoCommands
ccUsable	Logic.Prover
ccUsedTime	Logic.Prover
CD	OMDoc.DataTypes
CDe	OMDoc.OMDocInterface
cdefault	GUI.HTkUtils
CDefinitional	OMDoc.OMDocInterface
cdFromList	OMDoc.DataTypes
cDgSelect	CMDL.DgCommands
cDgSelectAll	CMDL.DgCommands
cDgThmHideShift	CMDL.DgCommands
cdInLib	OMDoc.Import
cdIsEmpty	OMDoc.DataTypes
cDisprove	CMDL.ProveCommands
cDoLoop	CMDL.ProveCommands
cDot	Common.Keywords
cDropTranslations	CMDL.ProveCommands
cdToList	OMDoc.DataTypes
cdToMaybeList	OMDoc.DataTypes
ce2Concept	OWL2.MS2Ship
cEdges	CMDL.InfoCommands
Ceiling	THF.As
ceilingS	CSL.Keywords
Cell	Common.Amalgamate
CEmpty	Common.DocUtils
cEndScript	CMDL.ProveCommands
Center	GUI.HTkUtils
Ceq	THF.As
CExact	CASL_DL.AS_CASL_DL
cExpand	CMDL.DgCommands
cf2CFormula	Comorphisms.CoCASL2CoPCFOL
cFalse	Isabelle.IsaConsts
cfgTimeout	THF.SZSProver
cFol	CASL.Sublogic
CFOL2IsabelleHOL
1 (Type/Class)	Comorphisms.CFOL2IsabelleHOL
2 (Data Constructor)	Comorphisms.CFOL2IsabelleHOL
cformula	ConstraintCASL.Formula
cfun	Common.Doc
cFunS	Isabelle.IsaConsts
cGoalsAxmGeneral	CMDL.ProveCommands
ChanAsItemType	CspCASL.Symbol
chanFun	CspCASL.SymMapAna
Change
1 (Type/Class)	Common.XUpdate
2 (Data Constructor)	Common.XUpdate
change1	GUI.UDGUtils
ChangeAction	Static.XSimplePath
ChangeAxioms	CMDL.DataTypes
ChangeCmd
1 (Data Constructor)	Interfaces.Command
2 (Type/Class)	Interfaces.Command
changeCmdList	Interfaces.Command
changeCmdNameStr	Interfaces.Command
ChangeCr	Static.XSimplePath
ChangeData
1 (Type/Class)	Static.XSimplePath
2 (Data Constructor)	Static.XSimplePath
changeData	Static.XSimplePath
changeDGH	Static.History
changedLocalTheorems	Static.DevGraph
changedPendingEdges	Static.DevGraph
changeGlobalAnnos	Common.Doc
ChangeGoals	CMDL.DataTypes
changeLinks	Static.XSimplePath
ChangeList
1 (Type/Class)	Static.XSimplePath
2 (Data Constructor)	Static.XSimplePath
changeNodes	Static.XSimplePath
changeNodeType	Taxonomy.AbstractGraphView
ChangeRes	Static.XSimplePath
changesDGH	Static.History
ChangeSel	Common.XUpdate
changeText	Static.XSimplePath
changeToXml	Common.XmlDiff
changeXml	Static.XSimplePath
changeXmlMod	Static.XSimplePath
ChanMap	CspCASL.Morphism
ChanNameMap	CspCASL.SignCSP
Channel	GUI.HTkUtils
ChannelDecl	CspCASL.AS_CspCASL
ChannelKind	CspCASL.SymbItems
channelMap	CspCASL.Morphism
Channels	CspCASL.AS_CspCASL
channelS	CspCASL.CspCASL_Keywords
CHANNEL_DECL	CspCASL.AS_CspCASL
CHANNEL_NAME	CspCASL.AS_CspCASL_Process
channel_name	CspCASL.Parse_CspCASL_Process
ChanNonDetSend	CspCASL.AS_CspCASL_Process
ChanRecv	CspCASL.AS_CspCASL_Process
chans	CspCASL.SignCSP
ChanSend	CspCASL.AS_CspCASL_Process
ChanSendOrRec	CspCASLProver.TransProcesses
chan_receiveS	CspCASL.CspCASL_Keywords
chan_sendS	CspCASL.CspCASL_Keywords
Chaos	CspCASL.AS_CspCASL_Process
chaosS	CspCASL.CspCASL_Keywords
char
1 (Function)	Common.Lib.Pretty
2 (Function)	OWL2.Profiles
Character	OWL2.AS
character	OWL2.ShipSyntax
characteristicsC	OWL2.ColonKeywords
characterKey	OWL2.Parse
characters	OWL2.Parse
charLit	Haskell.Wrapper
charMap
1 (Function)	Common.ProofUtils
2 (Function)	THF.Translate
charOrQuoteEscape	RDF.Parse
charset	GUI.HTkUtils
Chart	Common.Earley
charT	Isabelle.IsaConsts
charwidth	GUI.HTkUtils
CharWrap	GUI.HTkUtils
check	GUI.GtkConsistencyChecker
check1Prefix	OWL2.StaticAnalysis
check4File	Common.ProverTools
check4FileAux	Common.ProverTools
check4HetsOWLjar	Common.ProverTools
check4jarFile	Common.ProverTools
check4jarFileWithDefault	Common.ProverTools
checkAnnBit	OWL2.StaticAnalysis
checkAnnoList	OWL2.StaticAnalysis
checkAnnos	OWL2.StaticAnalysis
checkAnnotation	OWL2.StaticAnalysis
checkArg	Common.Prec
checkArities	SoftFOL.Conversions
checkAssertion	OWL2.StaticAnalysis
checkAxiom	OWL2.StaticAnalysis
checkBinary	Common.ProverTools
CheckButton	GUI.HTkUtils
checkCases	VSE.Ana
checkClassExpression	OWL2.StaticAnalysis
checkCom	CMDL.Shell
checkCommAlphaSub	CspCASL.StatAnaCSP
checkConservativity	Common.Consistency
CheckConservativityAll	Interfaces.Command
checkConservativityEdge	Interfaces.Utils
checkConservativityNode	Interfaces.Utils
checkconservativityOfEdge	GUI.GraphLogic
checkconservativityOfNode	GUI.GraphLogic
CheckConsistencyCurrent	Interfaces.Command
checkConstr	ExtModal.StatAna
checkDataPropList	OWL2.StaticAnalysis
checkDataRange	OWL2.StaticAnalysis
checkDGraph	Static.CheckGlobalContext
checkEdgeIds	Proofs.EdgeUtils
checkEntity	OWL2.StaticAnalysis
checkerId	Common.Consistency
checkerUsable	Common.Consistency
checkExtended	OWL2.StaticAnalysis
checkExtSign	Logic.ExtSign
checkFact	OWL2.StaticAnalysis
checkFactList	OWL2.StaticAnalysis
checkFrame	OWL2.StaticAnalysis
checkFreeType	CASL.CCC.FreeTypes
checkFuncArities	SoftFOL.Conversions
checkGMorphism	Static.CheckGlobalContext
checkGMorphismInEdge	Static.CheckGlobalContext
checkGMorphismInEdges	Static.CheckGlobalContext
checkGMorphismInNode	Static.CheckGlobalContext
checkGMorphismInNodes	Static.CheckGlobalContext
checkGoal	Proofs.BatchProcessing
checkG_theory	Static.CheckGlobalContext
checkG_theoryInNode	Static.CheckGlobalContext
checkG_theoryInNodes	Static.CheckGlobalContext
checkHasHiddenNodes	Taxonomy.AbstractGraphView
checkHasKey	OWL2.StaticAnalysis
checkIdentifier	SoftFOL.Translate
checkIntString	CMDL.Utils
checkKinds	HasCASL.ClassAna
checkList	CMDL.ProcessScript
checkListBit	OWL2.StaticAnalysis
checkListDisproved	CMDL.ProcessScript
checkLiteral	OWL2.StaticAnalysis
checkLocalTops	CspCASL.LocalTop
checkNamePrefix	CASL.Sign
checkObjPropList	OWL2.StaticAnalysis
checkOWLjar	Common.ProverTools
checkPlaceCount	HasCASL.VarDecl
checkPlaces	CASL.StaticAna
checkPrec	Common.Prec
checkPredArities	SoftFOL.Conversions
checkPredef	OWL2.AS
checkPredefAux	OWL2.AS
checkPrefixMap	OWL2.StaticAnalysis
checkRawMap	Logic.ExtSign
checkRawSyms	Logic.ExtSign
checkRecentEnv	Driver.Options
checkRule	QVTR.StatAna
checkRules	QVTR.StatAna
checkSorts	CASL.Sign
checkSymbolMapDL	CASL_DL.StatAna
checkSymbols	HasCASL.Symbol
checkTyCons	Comorphisms.Hs2HOLCFaux
checkUniqueness	Common.Result
checkUniqueTypevars	HasCASL.TypeAna
checkUniqueVars	HasCASL.Le
checkUnusedTypevars	HasCASL.VarDecl
checkUri	Driver.Options
checkWhenWhere	QVTR.StatAna
checkWith	Common.Lexer
checkWithMap	CASL.Sign
checkWithOtherMap	CASL.Sign
checkWithUsing	Common.Lexer
checkWithVars	CASL.StaticAna
checkXMLStructure	CSMOF.Parser
cHelp	CMDL.InfoCommands
ChFile	CMDL.DataTypes
chHandler	CMDL.DataTypes
Child	Common.XPath
child	FreeCAD.Translator
childByName	FreeCAD.Translator
childByNameAttr	FreeCAD.Translator
ChildIndex	Static.DgUtils
chkNewtype	Haskell.HatParser
chName	CMDL.DataTypes
Choice	CspCASL.Print_CspCASL
choiceP	Adl.Parse
choiceS	Adl.Parse
choose
1 (Function)	GUI.HTkUtils
2 (Function)	GUI.UDGUtils
chProperties	CMDL.DataTypes
Chr	Common.Lib.Pretty
ChRead	CMDL.DataTypes
ChReadWrite	CMDL.DataTypes
ChShowOutput	Interfaces.DataTypes
ChSocket	CMDL.DataTypes
chSocket	CMDL.DataTypes
ChStdin	CMDL.DataTypes
ChStdout	CMDL.DataTypes
chType	CMDL.DataTypes
ChWrite	CMDL.DataTypes
CIm	OMDoc.OMDocInterface
cInfo	CMDL.InfoCommands
cInfoCurrent	CMDL.InfoCommands
cInvert	Proofs.ConsistencyCheck
Circle
1 (Data Constructor)	GUI.UDGUtils
2 (Data Constructor)	FreeCAD.As
circle	GUI.HTkUtils
CircMin	Syntax.AS_Structured
Circulate	GUI.HTkUtils
CircVars	Syntax.AS_Structured
CIType
1 (Type/Class)	CSL.TreePO
2 (Data Constructor)	CSL.TreePO
cjoin	Common.Lattice, CASL.Sublogic
cKey	CASL.CompositionTable.ParseSparQ
CKOp	SoftFOL.Translate
CKPred	SoftFOL.Translate
CKSort	SoftFOL.Translate
CKType	SoftFOL.Translate
CKVar	SoftFOL.Translate
CL2CFOL
1 (Type/Class)	Comorphisms.CommonLogic2CASL
2 (Data Constructor)	Comorphisms.CommonLogic2CASL
Class
1 (Type/Class)	Isabelle.IsaExport
2 (Data Constructor)	Isabelle.IsaExport
3 (Data Constructor)	Isabelle.IsaSign
4 (Data Constructor)	OWL2.AS
5 (Type/Class)	OWL2.AS
6 (Type/Class)	CSMOF.As
7 (Data Constructor)	CSMOF.As
classAnnFrame2Boxes	OWL2.MS2Ship
ClassAsItemType	HasCASL.Le
classAssertionK	OWL2.XMLKeywords
classBody	Isabelle.IsaSign
classC	OWL2.ColonKeywords
classContext	Isabelle.IsaSign
ClassDecl
1 (Type/Class)	Isabelle.IsaSign
2 (Type/Class)	HasCASL.As
3 (Data Constructor)	HasCASL.As
ClassDisjointUnion	OWL2.MS
ClassEntity	OWL2.MS
Classes	HasCASL.Sublogic
classesC	OWL2.ColonKeywords
classesS	Isabelle.IsaConsts
ClassExpression	OWL2.AS
classExpressionList	OWL2.XMLKeywords
classExpressionToDataRange	OWL2.StaticAnalysis
classFrame	OWL2.ManchesterParser
classFrame2Boxes	OWL2.MS2Ship
classFrameBit	OWL2.ManchesterParser
ClassGraph	Taxonomy.MMiSSOntology
ClassHasKey	OWL2.MS
classId	HasCASL.HToken
classIdMap	HasCASL.Le
classifyTC	OMDoc.Import
classifyTCs	OMDoc.Import
ClassInfo
1 (Type/Class)	HasCASL.Le
2 (Data Constructor)	HasCASL.Le
ClassItem
1 (Type/Class)	HasCASL.As
2 (Data Constructor)	HasCASL.As
ClassItems	HasCASL.As
classK	OWL2.XMLKeywords
ClassKind
1 (Data Constructor)	CSMOF.Sign
2 (Data Constructor)	HasCASL.As
classKinds	HasCASL.Le
classListFrame2Boxes	OWL2.MS2Ship
ClassMap	HasCASL.Le
classMap	HasCASL.Le
ClassName	Taxonomy.MMiSSOntology
className
1 (Function)	Isabelle.IsaExport
2 (Function)	Isabelle.IsaSign
classOp	CspCASLProver.Consts
classParents	Isabelle.IsaSign
Classrel	Isabelle.IsaSign
classrel	Isabelle.IsaSign
classS
1 (Function)	Common.Keywords
2 (Function)	CspCASLProver.Consts
classSuper	CSMOF.As
classSuperType	CSMOF.As
ClassType	Taxonomy.MMiSSOntology
clauseLists	SoftFOL.Sign
clauses	SoftFOL.Sign
clauseSPR	SoftFOL.Sign
clauseType	SoftFOL.Sign
clCommentKey	CommonLogic.Lexer_CLIF
clCommentS	CommonLogic.AS_CommonLogic
cleanEnv	HasCASL.AsToLe
cleanSig	Comorphisms.HasCASL2Haskell
cleanUpElem	Common.XUpdate
cleanupWish	GUI.HTkUtils
clearHistory	Static.History
clearrulesS	CSL.Keywords
clearS	CSL.Keywords
clearSelection	GUI.HTkUtils
clearVarMap	ExtModal.StatAna
clEqualsKey	CommonLogic.Lexer_CLIF
clExcludeS	CommonLogic.AS_CommonLogic
clExcludesKey	CommonLogic.Lexer_CLIF
clicked	GUI.HTkUtils
Client	GUI.UDGUtils
CLIFOut	Driver.Options
clImportS	CommonLogic.AS_CommonLogic
clImportsKey	CommonLogic.Lexer_CLIF
clLetter	CommonLogic.Lexer_CLIF
clLetters	CommonLogic.Lexer_CLIF
clLetters2	CommonLogic.Lexer_CLIF
clMetaTheory	CommonLogic.OMDoc
clModuleKey	CommonLogic.Lexer_CLIF
clModuleS	CommonLogic.AS_CommonLogic
clock	GUI.HTkUtils
closeConsRel	CoCASL.CoCASLSign
closeCspCommAlpha	CspCASL.SignCSP
ClosedInterval
1 (Type/Class)	CSL.TreePO
2 (Data Constructor)	CSL.TreePO
closedReduceProofStatus	CSL.Reduce_Interface
closedS	Common.Keywords
closedworldS	Common.Keywords
Closed_spec	Syntax.AS_Structured
Closed_unit_spec	Syntax.AS_Architecture
closeEnough	GUI.HTkUtils
closeGraphWindow	GUI.GraphAbstraction
CloseMenuOption	GUI.UDGUtils
closeOpenWindows	GUI.ShowLibGraph
closeSign	Adl.Sign
closeSortRel	CASL.Sign
closest	GUI.HTkUtils
closeSubsortRel	CASL.Sign
closeSymbSet	HasCASL.Symbol
clPrefixKey	CommonLogic.Lexer_CLIF
ClR	SoftFOL.Sign
clRolesetKey	CommonLogic.Lexer_CLIF
Cls
1 (Type/Class)	Isabelle.IsaExport
2 (Data Constructor)	Isabelle.IsaExport
clsName	Isabelle.IsaExport
Cls_Attrs
1 (Type/Class)	Isabelle.IsaExport
2 (Data Constructor)	Isabelle.IsaExport
cltext	CommonLogic.Parse_CLIF
clTextKey	CommonLogic.Lexer_CLIF
clTextS	CommonLogic.AS_CommonLogic
CLTextType	CommonLogic.Sublogic
cm	GUI.HTkUtils
CMax	CASL_DL.AS_CASL_DL
CMD	CSL.AS_BASIC_CSL
Cmd	CSL.AS_BASIC_CSL
cmdDescription	CMDL.DataTypes
cmdFn	CMDL.DataTypes
CmdGreaterThanComments	CMDL.DataTypes
CmdGreaterThanScriptAndComments	CMDL.DataTypes
CmdHistory
1 (Type/Class)	Interfaces.DataTypes
2 (Data Constructor)	Interfaces.DataTypes
cmdHistory	Interfaces.DataTypes
cmdInput	CMDL.DataTypes
cmdInputStr	Interfaces.Command
CmdlChannel
1 (Type/Class)	CMDL.DataTypes
2 (Data Constructor)	CMDL.DataTypes
CmdlChannelProperties	CMDL.DataTypes
CmdlChannelType	CMDL.DataTypes
CmdlCmdDescription
1 (Type/Class)	CMDL.DataTypes
2 (Data Constructor)	CMDL.DataTypes
CmdlCmdFnClasses	CMDL.DataTypes
CmdlCmdPriority	CMDL.DataTypes
CmdlCmdRequirements	CMDL.DataTypes
cmdlComplete	CMDL.Interface
cmdlCompletionFn	CMDL.Shell
cmdlGlobCmd	Interfaces.Command
CmdlGoalAxiom	CMDL.DataTypes
cmdlIgnoreFunc	CMDL.Commands
CmdlListAction	CMDL.DataTypes
cmdlListenOrConnect2Port	PGIP.XMLparsing
CmdlMessage
1 (Type/Class)	CMDL.DataTypes
2 (Data Constructor)	CMDL.DataTypes
CmdlPgipState
1 (Type/Class)	PGIP.XMLstate
2 (Data Constructor)	PGIP.XMLstate
cmdlProcessCmd	CMDL.ProcessScript
cmdlProcessFile	CMDL.ProcessScript
cmdlProcessScriptFile	CMDL.ProcessScript
cmdlProcessString	CMDL.ProcessScript
CmdlPrompterState
1 (Type/Class)	CMDL.DataTypes
2 (Data Constructor)	CMDL.DataTypes
CmdlProverConsChecker	CMDL.DataTypes
cmdlRun	PGIP.XMLparsing
cmdlRunShell	CMDL.Interface
cmdlRunXMLShell	PGIP.XMLparsing
CmdlSocket
1 (Type/Class)	CMDL.DataTypes
2 (Data Constructor)	CMDL.DataTypes
cmdlStartLoop	PGIP.XMLparsing
CmdlState
1 (Type/Class)	CMDL.DataTypes
2 (Data Constructor)	CMDL.DataTypes
CmdlUseTranslation	CMDL.DataTypes
CmdlXMLcommands	PGIP.XMLstate
cmdName	CMDL.DataTypes
cmdNameStr	Interfaces.Command
CmdNoInput	CMDL.DataTypes
CmdNoPriority	CMDL.DataTypes
cmdPriority	CMDL.DataTypes
cmdReq	CMDL.DataTypes
CmdWithInput	CMDL.DataTypes
CMin	CASL_DL.AS_CASL_DL
CMonomorphism	OMDoc.OMDocInterface
CMP
1 (Type/Class)	OMDoc.OMDocInterface
2 (Data Constructor)	OMDoc.OMDocInterface
cmpClosedInts	CSL.TreePO
cmpContent	OMDoc.OMDocInterface
cmpFloatToInt	CSL.AS_BASIC_CSL
cmpSenEle	Logic.Prover
cmpSnd	Logic.Prover
cmpSoIs	CSL.TreePO
cmpSoIsD	CSL.TreePO
cmpSoIsEx	CSL.TreePO
cmpSoIsExD	CSL.TreePO
cmptab	CASL.CompositionTable.Pretty2
Cmptabentry
1 (Type/Class)	CASL.CompositionTable.CompositionTable
2 (Data Constructor)	CASL.CompositionTable.CompositionTable
cmptabentryArgBaserel1	CASL.CompositionTable.CompositionTable
cmptabentryArgBaserel2	CASL.CompositionTable.CompositionTable
Cmptabentry_Attrs
1 (Type/Class)	CASL.CompositionTable.CompositionTable
2 (Data Constructor)	CASL.CompositionTable.CompositionTable
CmpTbl	CASL.CompositionTable.ModelTable
CMult	Common.DocUtils
CName	OWL2.ShipSyntax
cnf
1 (Function)	Propositional.Fold
2 (Function)	QBF.Tools
CnfKind	SoftFOL.Sign
cnhsS	CASL.CompositionTable.Keywords
cNodeNumber	CMDL.InfoCommands
cNodes	CMDL.InfoCommands
CNone	OMDoc.OMDocInterface
cNot	Isabelle.IsaConsts
cNotACommand	CMDL.ProveCommands
Co	Adl.As
COALTERNATIVE	CoCASL.AS_CoCASL
coalternative	CoCASL.Parse_AS
CoCASL
1 (Type/Class)	CoCASL.Logic_CoCASL
2 (Data Constructor)	CoCASL.Logic_CoCASL
CoCASL2CoPCFOL
1 (Type/Class)	Comorphisms.CoCASL2CoPCFOL
2 (Data Constructor)	Comorphisms.CoCASL2CoPCFOL
CoCASL2CoSubCFOL
1 (Type/Class)	Comorphisms.CoCASL2CoSubCFOL
2 (Data Constructor)	Comorphisms.CoCASL2CoSubCFOL
CoCASLFORMULA	CoCASL.Logic_CoCASL
cocaslFormula	CoCASL.Parse_AS
CoCASLMor	CoCASL.Logic_CoCASL
CoCASLSign
1 (Type/Class)	CoCASL.CoCASLSign
2 (Data Constructor)	CoCASL.CoCASLSign
cocasl_reserved_words	CoCASL.Parse_AS
CoCASL_Sublogics	CoCASL.Sublogic
CoCFOL2IsabelleHOL
1 (Type/Class)	Comorphisms.CoCFOL2IsabelleHOL
2 (Data Constructor)	Comorphisms.CoCFOL2IsabelleHOL
cocomp	CoCASL.Parse_AS
cocomponent	CoCASL.Parse_AS
COCOMPONENTS	CoCASL.AS_CoCASL
cod	Logic.Logic
codAnalysis	LF.Analysis
codatatype	CoCASL.Parse_AS
codatatypeToCofreetype	CoCASL.Parse_AS
CODATATYPE_DECL	CoCASL.AS_CoCASL
CoDatatype_decl	CoCASL.AS_CoCASL
CoDatatype_items	CoCASL.AS_CoCASL
codeCoFormula	Comorphisms.CoCASL2CoSubCFOL
codeCoRecord	Comorphisms.CoCASL2CoSubCFOL
codeC_FORMULA	Comorphisms.CoCASL2CoSubCFOL
codeEM	Comorphisms.ExtModal2ExtModalTotal
codeEMFormula	Comorphisms.ExtModal2ExtModalTotal
codeFormula	Comorphisms.CASL2SubCFOL
codeOfTerm	HolLight.Helper
codeOutConditionalF	CASL.Utils
codeOutCondPredication	CASL.Utils
codeOutCondRecord	CASL.Utils
codeOutUniqueExtF	CASL.Utils
codeOutUniqueRecord	CASL.Utils
codeRecord	Comorphisms.CASL2SubCFOL
codeTerm	Comorphisms.CASL2SubCFOL
codeToken	Common.Doc
codOfDefaultMorphism	Common.DefaultMorphism
codomain	RelationalScheme.Sign
coeffnS	CSL.Keywords
coeffS	CSL.Keywords
coerceBasicTheory	Logic.Coerce
coerceConsChecker	Proofs.AbstractState
coerceFreeDefMorphism	Logic.Coerce
coerceMapofsymbol	Logic.Coerce
coerceMorphism	Logic.Coerce
coercePlainSign	Logic.Coerce
coerceProofStatus	Logic.Coerce
coerceProver	Proofs.AbstractState
coerceRawSymbolMap	Logic.Coerce
coerceSens	Logic.Coerce
coerceSign	Logic.Coerce
coerceSublogic	Logic.Coerce
coerceSymbItemsList	Logic.Coerce
coerceSymbMapItemsList	Logic.Coerce
coerceSymbol	Logic.Coerce
coerceSymbolmap	Logic.Coerce
coerceSymbolSet	Logic.Coerce
coerceTheoryMorphism	Logic.Coerce
coerceThSens	Static.GTheory
coerceToResult	Logic.Coerce
coerceWithError	GUI.HTkUtils
coerceWithErrorIO	GUI.HTkUtils
coerceWithErrorOrBreak	GUI.HTkUtils
coerceWithErrorOrBreakIO	GUI.HTkUtils
coerceWithErrorOrBreakIOPrefix	GUI.HTkUtils
coerceWithErrorOrBreakPrefix	GUI.HTkUtils
coerceWithErrorStringIO	GUI.HTkUtils
cofactorS	CSL.Keywords
Cofree	Static.DgUtils
cofreeS	Common.Keywords
CoFree_datatype	CoCASL.AS_CoCASL
Cofree_spec	Syntax.AS_Structured
cogeneratedS	Common.Keywords
cogeneratedSign
1 (Function)	OWL2.Morphism
2 (Function)	CASL.SymbolMapAnalysis
3 (Function)	HasCASL.SymbolMapAnalysis
cogenerated_sign	Logic.Logic
coGenSig
1 (Function)	LF.Sign
2 (Function)	DFOL.Morphism
coKind	HasCASL.AsUtils
COL
1 (Type/Class)	COL.Logic_COL
2 (Data Constructor)	COL.Logic_COL
col	Common.Lib.Tabular
COLFORMULA	COL.Logic_COL
colH	Common.Lib.Tabular
Colimit	Interfaces.Command
ColimitThinness	Common.Amalgamate
collaps	Common.Lib.Rel
collectDomainVarSet	QVTR.StatAna
collectEntities
1 (Function)	RDF.StaticAnalysis
2 (Function)	OWL2.StaticAnalysis
collectionToPOList	RDF.StaticAnalysis
collectNameMapping	Common.ProofUtils
collectOps	CASL.Kif2CASL
collectParSet	QVTR.StatAna
collectPreds	CASL.Kif2CASL
collectPrimDomVarSet	QVTR.StatAna
collectRecursivePreds	QVTR.StatAna
collectRecursiveRelInvoc	QVTR.StatAna
collectRecursiveVars	QVTR.StatAna
collectVars	CASL.Kif2CASL
collectVarSet	QVTR.StatAna
COLMor	COL.Logic_COL
colon
1 (Function)	Common.Lib.Pretty
2 (Function)	Common.Doc
colonKeywords	OWL2.ColonKeywords
colonP	OWL2.ShipSyntax
colonQuMark	Common.Keywords
colonS	Common.Keywords
colonST	Common.Token
colonT	Common.AnnoState
Color
1 (Data Constructor)	GUI.UDGUtils
2 (Type/Class)	GUI.UDGUtils
Colormap	GUI.HTkUtils
Colors	GUI.GraphTypes
Colour
1 (Data Constructor)	GUI.HTkUtils
2 (Type/Class)	GUI.HTkUtils
ColourDesignator	GUI.HTkUtils
ColourMode	GUI.HTkUtils
colourmode	GUI.HTkUtils
colSigItems	COL.Parse_AS
COLSign
1 (Type/Class)	COL.COLSign
2 (Data Constructor)	COL.COLSign
colT	HasCASL.ParseTerm
Column	GUI.HTkUtils
column
1 (Function)	GUI.HTkUtils
2 (Function)	RelationalScheme.AS
columns	RelationalScheme.Sign
Columnspan	GUI.HTkUtils
column_map	RelationalScheme.Sign
COL_BASIC_SPEC	COL.AS_COL
col_map	RelationalScheme.Sign
col_reserved_words	COL.AS_COL
COL_SIG_ITEM	COL.AS_COL
comakeDisj	CoCASL.StatAna
comakeDisjoint	CoCASL.StatAna
comakeDisjToSort	CoCASL.StatAna
comakeInjective	CoCASL.StatAna
coMapArcTypeParms	GUI.UDGUtils
coMapNodeTypeParms	GUI.UDGUtils
Comb	HolLight.Term
Combination	Syntax.AS_Structured
combine
1 (Function)	Common.Utils
2 (Function)	Propositional.Fold
3 (Function)	QBF.Tools
combineCmp	CSL.TreePO
combineDoc	OWL2.Rename
combineexptS	CSL.Keywords
combineGlobalMenus	GUI.UDGUtils
CombineID	Syntax.AS_Structured
combineMorphs	LF.Twelf2GR
combineS	Common.Keywords
ComboBox	GUI.HTkUtils
Comm
1 (Data Constructor)	Maude.AS_Maude
2 (Data Constructor)	HasCASL.As
comm	Maude.AS_Maude
Comma	HasCASL.As
comma
1 (Function)	Common.Lib.Pretty
2 (Function)	Common.Doc
CommAlpha	CspCASL.AS_CspCASL_Process
commAlpha	CspCASL.SymbItems
Command	Interfaces.Command
command
1 (Function)	CSL.Parse_AS_Basic
2 (Function)	Interfaces.DataTypes
3 (Function)	CMDL.ParseProofScript
commandDg	CMDL.DgCommands
commandDgAll	CMDL.DgCommands
CommandKey	GUI.HTkUtils
commandKeywords	CSL.Keywords
commandList	Interfaces.Command
commands	PGIP.Query
commandWW	CMDL.ParseProofScript
commaP
1 (Function)	OWL2.ShipSyntax
2 (Function)	OWL2.Parse
3 (Function)	LF.MorphParser
commaSep1	Common.Lexer
commaSortDecl	CASL.SortItem
commaT	Common.Lexer
COMMENT	CommonLogic.AS_CommonLogic
Comment
1 (Data Constructor)	Common.XPath
2 (Data Constructor)	CommonLogic.AS_CommonLogic
3 (Type/Class)	THF.As
comment
1 (Function)	OWL2.Keywords
2 (Function)	Haskell.HatParser
commentBlock	CommonLogic.Lexer_CLIF
commentBlockClose	CommonLogic.Lexer_CLIF
commentBlockOpen	CommonLogic.Lexer_CLIF
CommentCmd	Interfaces.Command
CommentLine	SoftFOL.Sign
commentLine
1 (Function)	Common.AnnoParser
2 (Function)	CommonLogic.Lexer_KIF
3 (Function)	CommonLogic.Lexer_CLIF
commentLineStart	CommonLogic.Lexer_CLIF
commentOut	CASL.Kif
commentS	CSL.Keywords
commentText	Common.Doc
Comment_Block	THF.As
Comment_Line	THF.As
comment_map	Common.LaTeX_maps
Comment_sent	CommonLogic.AS_CommonLogic
Comment_start	Common.AS_Annotation
Comment_term	CommonLogic.AS_CommonLogic
Comment_text	CommonLogic.AS_CommonLogic
comment_txt	CommonLogic.Parse_CLIF
Common	FreeCAD.As
CommonLogic
1 (Type/Class)	CommonLogic.Logic_CommonLogic
2 (Data Constructor)	CommonLogic.Logic_CommonLogic
CommonLogic2IsabelleHOL
1 (Type/Class)	Comorphisms.CommonLogic2IsabelleHOL
2 (Data Constructor)	Comorphisms.CommonLogic2IsabelleHOL
CommonLogicIn	Driver.Options
CommonLogicModuleElimination
1 (Type/Class)	Comorphisms.CommonLogicModuleElimination
2 (Data Constructor)	Comorphisms.CommonLogicModuleElimination
CommonLogicSL
1 (Type/Class)	CommonLogic.Sublogic
2 (Data Constructor)	CommonLogic.Sublogic
commonOpType	OWL2.CASL2OWL
commonPredType	OWL2.CASL2OWL
commonType	OWL2.CASL2OWL
commS	Common.Keywords
commSen	Maude.PreComorphism
CommType	CspCASL.AS_CspCASL_Process
commType	CspCASL.Parse_CspCASL_Process
commType2Sort	CspCASL.SignCSP
CommTypeChan	CspCASL.AS_CspCASL_Process
CommTypeSort	CspCASL.AS_CspCASL_Process
communicationStep	PGIP.XMLparsing
Comm_op_attr	CASL.AS_Basic_CASL
Comorphism
1 (Data Constructor)	Logic.Comorphism
2 (Type/Class)	Logic.Comorphism
comorphism
1 (Function)	GUI.GtkConsistencyChecker
2 (Function)	GUI.GtkAutomaticProofs
ComorphismDef
1 (Type/Class)	Framework.AS
2 (Data Constructor)	Framework.AS
comorphismEdges	Comorphisms.HetLogicGraph
comorphismList	Comorphisms.LogicGraph
comorphisms	Logic.Grothendieck
ComorphismsTo	Interfaces.Command
comorphismsToProvers	Proofs.AbstractState
comorphismToXml	Logic.LGToXml
ComorphismTranslation	Interfaces.Command
comorphs	PGIP.Query
Comp	CASL.CompositionTable.ModelFormula
comp	Logic.Logic
compact	CommonLogic.Sublogic
compactDecls	DFOL.AS_DFOL
Comparable	CSL.TreePO
compare1	GUI.UDGUtils
compareIndices	GUI.HTkUtils
compareLinks	Static.DevGraph
comparePatElem	Adl.As
compatible	Adl.StatAna
compatibleBodies	Isabelle.IsaParse
compatibleOpTypes	CASL.Morphism
compatibleProcTypes	CspCASL.SymMapAna
CompComorphism
1 (Type/Class)	Logic.Comorphism
2 (Data Constructor)	Logic.Comorphism
compComorphism	Logic.Comorphism
compId	CASL.StaticAna
compInclusion	Logic.Grothendieck
Compl	CASL.CompositionTable.ModelFormula
completeMorphism	OMDoc.Import
completeMorphisms	OMDoc.Import
complexRoleInclusions	OWL2.Sublogic
compMor	HasCASL.Morphism
compMorph
1 (Function)	LF.Morphism
2 (Function)	DFOL.Morphism
compOfDefaultMorphism	Common.DefaultMorphism
compOMS	LF.Twelf2GR
Component
1 (Type/Class)	CASL.StaticAna
2 (Data Constructor)	CASL.StaticAna
3 (Type/Class)	HasCASL.As
ComponentRefSig	Static.DevGraph
COMPONENTS	CASL.AS_Basic_CASL
Component_ref	Syntax.AS_Architecture
compose	Maude.Morphism
composeM	CASL.Morphism
composeMap	Common.Utils
composeMor
1 (Function)	OWL2.Morphism
2 (Function)	CommonLogic.Morphism
3 (Function)	Temporal.Morphism
4 (Function)	Propositional.Morphism
5 (Function)	CSL.Morphism
6 (Function)	QBF.Morphism
composeMorphismExtension	CASL.Morphism
composeMorphisms	Logic.Logic
Compose_ref	Syntax.AS_Architecture
Composite_Term	ConstraintCASL.AS_ConstraintCASL
Composition
1 (Data Constructor)	ExtModal.AS_ExtModal
2 (Data Constructor)	Static.DgUtils
composition	Proofs.Composition
CompositionCreateEdges	Interfaces.Command
compositionCreatingEdges	Proofs.Composition
compositionCreatingEdgesFromList	Proofs.Composition
compositionFromList	Proofs.Composition
compositionOperationS	CASL.CompositionTable.Keywords
CompositionProveEdges	Interfaces.Command
Compositiontable
1 (Type/Class)	CASL.CompositionTable.CompositionTable
2 (Data Constructor)	CASL.CompositionTable.CompositionTable
compPointer	Static.DgUtils
compPT	Isabelle.IsaConsts
compRole	OWL2.ShipSyntax
compS	Isabelle.IsaConsts
comps	Common.Token
compSubst	HasCASL.Unify
CompTable	Taxonomy.AbstractGraphView
ComptableXml	Driver.Options
compTerm	SoftFOL.Sign
compType	CASL.StaticAna
computeColimit	Proofs.ComputeColimit
computeColimitSet	Common.SetColimit
computeCompTable	CASL.CompositionTable.ComputeTable
computeDGraphTheories	Static.ComputeTheory
computeEvent	GUI.HTkUtils
computeLabelTheory	Static.ComputeTheory
computeLibEnvTheories	Static.ComputeTheory
computeLocalLabelTheory	Static.DevGraph
computeLocalNodeTheory	Static.DevGraph
computeLocalTheory	Static.DevGraph
computeMorphism	OMDoc.Import
computeMorphisms	OMDoc.Import
computeNormalForm	Driver.Options
computeSymbolMap	OMDoc.Import
computeTargets	LF.Twelf2GR
computeTheory	Static.ComputeTheory
computeViewMorphism	OMDoc.Import
compV	Isabelle.IsaConsts
comp_list	CASL.Sublogic
comp_rst_mor	RelationalScheme.Sign
Con
1 (Data Constructor)	CASL.AS_Basic_CASL
2 (Data Constructor)	Adl.Sign
3 (Data Constructor)	SoftFOL.Sign
con	Isabelle.IsaConsts
conargcnt	Haskell.HatParser
conass2map	LF.Twelf2GR
conassQN	LF.Twelf2GR
conC	Isabelle.IsaConsts
ConcatExp	QVTR.As
concatMapM	Common.Utils
concatMapRange	Common.Id
concatWithError	GUI.HTkUtils
concentrate	Comorphisms.HasCASL2IsabelleHOL
Concept
1 (Data Constructor)	Interfaces.Command
2 (Type/Class)	OWL2.ShipSyntax
3 (Type/Class)	Adl.As
concept	OWL2.ShipSyntax
ConceptDecl	OWL2.ShipSyntax
Conceptmembership	OWL2.Sign
conceptPred	CASL_DL.PredefinedCASLAxioms
ConceptRel	OWL2.ShipSyntax
ConceptRhs	OWL2.ShipSyntax
concepts	OWL2.Sign
conceptsOf	Adl.StatAna
conceptToId	Adl.Sign
Conclusion
1 (Type/Class)	OMDoc.OMDocInterface
2 (Data Constructor)	OMDoc.OMDocInterface
conComCmt	OMDoc.OMDocInterface
conComCon	OMDoc.OMDocInterface
conctx	Haskell.HatParser
Cond
1 (Data Constructor)	CASL.CompositionTable.ModelFormula
2 (Data Constructor)	CspCASL.Print_CspCASL
3 (Data Constructor)	CSL.AS_BASIC_CSL
cond2formula	Maude.PreComorphism
Condensed	GUI.HTkUtils
Condition	Maude.AS_Maude
Conditional
1 (Data Constructor)	Isabelle.IsaSign
2 (Data Constructor)	CASL.AS_Basic_CASL
ConditionalProcess	CspCASL.AS_CspCASL_Process
conditionAxiom	CASL.CCC.TermFormula
conDouble	Isabelle.IsaConsts
conDoubleC	Isabelle.IsaConsts
condParensInnerF
1 (Function)	Hybrid.Print_AS
2 (Function)	Modal.Print_AS
conds2formula	Maude.PreComorphism
Cone	FreeCAD.As
CONFIDENCE	Syntax.AS_Structured
Config
1 (Type/Class)	GUI.HTkUtils
2 (Data Constructor)	Maude.AS_Maude
config	GUI.HTkUtils
configRadioButton	GUI.HTkUtils
configsMap	Interfaces.GenericATPState
configTimeLimit	Interfaces.GenericATPState
Configure	GUI.HTkUtils
configure	GUI.HTkUtils
configUsed	GUI.UDGUtils, GUI.HTkUtils
configUsed'	GUI.UDGUtils
confine	GUI.HTkUtils
confirmMess	GUI.HTkUtils
Conj	Haskell.HatParser
conj	Isabelle.IsaConsts
Conjecture
1 (Data Constructor)	THF.As
2 (Data Constructor)	SoftFOL.Sign
Conjectured	Static.GTheory
conjectures	SoftFOL.EProver
conjP	TopHybrid.Parse_AS
conjPrec	DFOL.Utils
conjS	CSL.Keywords
conjunct	CASL.AS_Basic_CASL
Conjunction
1 (Data Constructor)	CommonLogic.AS_CommonLogic
2 (Data Constructor)	DFOL.AS_DFOL
3 (Data Constructor)	Propositional.AS_BASIC_Propositional
4 (Data Constructor)	QBF.AS_BASIC_QBF
5 (Data Constructor)	TopHybrid.AS_TopHybrid
conjunction
1 (Function)	OWL2.Parse
2 (Function)	ConstraintCASL.Formula
conjunctRange	CASL.AS_Basic_CASL
conjV	Isabelle.IsaConsts
connectCAS	CSL.Reduce_Interface
connectH	Driver.Options
connections	CMDL.DataTypes
connectP	Driver.Options
Cons
1 (Data Constructor)	Common.Consistency
2 (Data Constructor)	Common.Data
cons
1 (Function)	Common.Lib.SizedList
2 (Function)	CommonLogic.PredefinedCASLAxioms
3 (Function)	Comorphisms.HasCASL2IsabelleHOL
4 (Function)	Static.XGraph
consChar	CASL_DL.PredefinedCASLAxioms
ConsCheck	CMDL.DataTypes
ConsChecker
1 (Type/Class)	Logic.Prover
2 (Data Constructor)	Logic.Prover
consChecker	Interfaces.DataTypes
ConsCheckerChange	Interfaces.DataTypes
conserCheck
1 (Function)	Propositional.Conservativity
2 (Function)	OWL2.Conservativity
Conservativity
1 (Data Constructor)	Interfaces.Command
2 (Type/Class)	Common.Consistency
3 (Type/Class)	OMDoc.OMDocInterface
conservativity	Proofs.Conservativity
conservativityCheck	Logic.Logic
ConservativityChecker
1 (Data Constructor)	Interfaces.Command
2 (Type/Class)	Common.Consistency
3 (Data Constructor)	Common.Consistency
ConservativityCheckerOpen	Interfaces.Command
consId	Common.Token
ConsistencyCheck	Driver.Options
consistencyCheck	Proofs.ConsistencyCheck
ConsistencyChecker	Interfaces.Command
consistencyS	CASL.CompositionTable.Keywords
ConsistencyStatus
1 (Type/Class)	Proofs.ConsistencyCheck
2 (Data Constructor)	Proofs.ConsistencyCheck
conSome	Isabelle.IsaConsts
consOp	CommonLogic.PredefinedCASLAxioms
consPT	Isabelle.IsaConsts
consS
1 (Function)	CSL.Keywords
2 (Function)	Isabelle.IsaConsts
ConsStatus
1 (Type/Class)	Static.DgUtils
2 (Data Constructor)	Static.DgUtils
Const
1 (Data Constructor)	HolLight.Term
2 (Type/Class)	Isabelle.IsaExport
3 (Data Constructor)	Isabelle.IsaExport
4 (Data Constructor)	Isabelle.IsaSign
5 (Data Constructor)	Maude.AS_Maude
6 (Data Constructor)	LF.Sign
7 (Data Constructor)	CASL.CompositionTable.ModelFormula
constAnno	THF.Sign
Constant	THF.As
ConstantName	CSL.AS_BASIC_CSL
constantQN	LF.Twelf2GR
constantToXml	OMDoc.XmlInterface
constBool	Fpl.As
constBoolType	VSE.Ana
constCoRecord	CoCASL.StatAna
ConstDef
1 (Type/Class)	Isabelle.IsaExport
2 (Data Constructor)	Isabelle.IsaExport
3 (Data Constructor)	Isabelle.IsaSign
4 (Data Constructor)	CSL.AS_BASIC_CSL
constDefName	Isabelle.IsaExport
constdefsS	Isabelle.IsaConsts
ConstDef_Attrs
1 (Type/Class)	Isabelle.IsaExport
2 (Data Constructor)	Isabelle.IsaExport
constId	THF.Sign
ConstInfo
1 (Type/Class)	THF.Sign
2 (Data Constructor)	THF.Sign
constInfoToSymbol	Comorphisms.HasCASL2THFP_P
constituents	Logic.Comorphism
Constitutive	OMDoc.OMDocInterface
constMakeExplicitProduct	Comorphisms.THFP2THF0
ConstMap	THF.Sign
constMap	Comorphisms.HolLight2Isabelle
constMapIntersect	THF.Sign
constMapUnion	THF.Sign
constMorphExt	CASL.SymbolMapAnalysis
constName
1 (Function)	Isabelle.IsaExport
2 (Function)	Isabelle.IsaSign
3 (Function)	THF.Sign
4 (Function)	CSL.AS_BASIC_CSL
constProg	VSE.Fold
constr	Fpl.Sign
Constrain	HasCASL.Le, HasCASL.Constrain
ConstrainingFacet	OWL2.AS
Constraint
1 (Type/Class)	CASL.AS_Basic_CASL
2 (Data Constructor)	CASL.AS_Basic_CASL
3 (Type/Class)	THF.Poly
constraint
1 (Function)	CSMOF.Sign
2 (Function)	CSL.Parse_AS_Basic
ConstraintCASL
1 (Type/Class)	ConstraintCASL.Logic_ConstraintCASL
2 (Data Constructor)	ConstraintCASL.Logic_ConstraintCASL
ConstraintCASLBasicSpec	ConstraintCASL.AS_ConstraintCASL
ConstraintCASLFORMULA	ConstraintCASL.AS_ConstraintCASL
ConstraintCASLMor	ConstraintCASL.StaticAna
ConstraintCASLSign	ConstraintCASL.StaticAna
ConstraintFORMULA	ConstraintCASL.AS_ConstraintCASL
constraintKeywords	ConstraintCASL.Formula
Constraints
1 (Type/Class)	THF.Poly
2 (Type/Class)	HasCASL.Constrain
ConstraintTERM	ConstraintCASL.AS_ConstraintCASL
constraintterm	ConstraintCASL.Formula
constraintToType	THF.Poly
ConstraintType	CSMOF.Sign
constraintType	CSMOF.Sign
constRecord
1 (Function)	CASL.Fold
2 (Function)	CSL.Fold
constrId	HasCASL.Le
ConstrInfo
1 (Type/Class)	HasCASL.Le
2 (Data Constructor)	HasCASL.Le
constrType	HasCASL.Le
Construct	HasCASL.Le
ConstructData	HasCASL.Le
constructExpansion	CASL.Utils
constructMap	LF.Twelf2GR
Constructor
1 (Type/Class)	Isabelle.IsaExport
2 (Data Constructor)	Isabelle.IsaExport
3 (Type/Class)	OMDoc.OMDocInterface
4 (Data Constructor)	OMDoc.OMDocInterface
5 (Data Constructor)	HasCASL.As
constructorArgs	Isabelle.IsaSign
constructorArguments	OMDoc.OMDocInterface
ConstructorClasses	HasCASL.Sublogic
constructorMixfix	Isabelle.IsaSign
constructorName
1 (Function)	Isabelle.IsaExport
2 (Function)	Isabelle.IsaSign
3 (Function)	OMDoc.OMDocInterface
constructorRole	OMDoc.OMDocInterface
constructorS	COL.AS_COL
constructors
1 (Function)	CoCASL.CoCASLSign
2 (Function)	COL.COLSign
constructorsS	COL.AS_COL
constructorType	Isabelle.IsaSign
Constructor_Attrs
1 (Type/Class)	Isabelle.IsaExport
2 (Data Constructor)	Isabelle.IsaExport
Constructor_items	COL.AS_COL
constructs	CoCASL.CoCASLSign
constrVarClass	Comorphisms.Hs2HOLCFaux
Consts
1 (Type/Class)	Isabelle.IsaExport
2 (Data Constructor)	Isabelle.IsaExport
3 (Data Constructor)	Isabelle.IsaSign
consts
1 (Function)	Isabelle.IsaStrings
2 (Function)	THF.Sign
constsF	Isabelle.IsaParse
constsS	Isabelle.IsaConsts
ConstTab	Isabelle.IsaSign
constTab	Isabelle.IsaSign
constType
1 (Function)	Isabelle.IsaSign
2 (Function)	THF.Sign
consType	CommonLogic.PredefinedCASLAxioms
consTypeS	CommonLogic.PredefinedCASLAxioms
const_and
1 (Function)	CommonLogic.OMDoc
2 (Function)	CASL.OMDoc
Const_Attrs
1 (Type/Class)	Isabelle.IsaExport
2 (Data Constructor)	Isabelle.IsaExport
const_casl	CASL.OMDoc
const_cast	CASL.OMDoc
const_cl	CommonLogic.OMDoc
const_comment	CommonLogic.OMDoc
const_comment_term	CommonLogic.OMDoc
const_def	CASL.OMDoc
const_eeq	CASL.OMDoc
const_eq
1 (Function)	CommonLogic.OMDoc
2 (Function)	CASL.OMDoc
const_equivalent
1 (Function)	CommonLogic.OMDoc
2 (Function)	CASL.OMDoc
const_exists
1 (Function)	CommonLogic.OMDoc
2 (Function)	CASL.OMDoc
const_existsunique	CASL.OMDoc
const_false	CASL.OMDoc
const_forall
1 (Function)	CommonLogic.OMDoc
2 (Function)	CASL.OMDoc
const_funtype	CASL.OMDoc
const_if	CASL.OMDoc
const_implied	CASL.OMDoc
const_implies
1 (Function)	CommonLogic.OMDoc
2 (Function)	CASL.OMDoc
const_in	CASL.OMDoc
const_irregular	CommonLogic.OMDoc
const_module	CommonLogic.OMDoc
const_moduleExcludes	CommonLogic.OMDoc
const_not
1 (Function)	CommonLogic.OMDoc
2 (Function)	CASL.OMDoc
const_or
1 (Function)	CommonLogic.OMDoc
2 (Function)	CASL.OMDoc
const_partialfuntype	CASL.OMDoc
const_predtype	CASL.OMDoc
const_sort	CASL.OMDoc
const_subsortof	CASL.OMDoc
const_symbol	CommonLogic.OMDoc
const_textName	CommonLogic.OMDoc
const_that	CommonLogic.OMDoc
const_true	CASL.OMDoc
const_type	CASL.OMDoc
consV	Isabelle.IsaConsts
cons_checkers	Logic.Logic
cons_features	CASL.Sublogic
Cons_select	CASL.AS_Basic_CASL
contab	CASL.CompositionTable.Pretty2
Contabentry
1 (Type/Class)	CASL.CompositionTable.CompositionTable
2 (Data Constructor)	CASL.CompositionTable.CompositionTable
contabentry	CASL.CompositionTable.Pretty2
contabentryArgBaseRel	CASL.CompositionTable.CompositionTable
contabentryConverseBaseRel	CASL.CompositionTable.CompositionTable
Contabentry_Ternary
1 (Type/Class)	CASL.CompositionTable.CompositionTable
2 (Data Constructor)	CASL.CompositionTable.CompositionTable
contabentry_TernaryArgBaseRel	CASL.CompositionTable.CompositionTable
contabentry_TernaryConverseBaseRels	CASL.CompositionTable.CompositionTable
ConTable	CASL.CompositionTable.ModelTable
ConTables	CASL.CompositionTable.ModelTable
containDef	CASL.CCC.TermFormula
Container	GUI.HTkUtils
containNeg	CASL.CCC.TermFormula
containsAtoms	QBF.Tools
contentToAddChange	Common.XmlDiff
CONTEXT
1 (Type/Class)	LF.Sign
2 (Type/Class)	DFOL.Sign
Context
1 (Type/Class)	GUI.UDGUtils
2 (Data Constructor)	DFOL.Sign
3 (Type/Class)	Adl.As
4 (Data Constructor)	Adl.As
context	Isabelle.IsaParse
contextS	Isabelle.IsaConsts
contFun	Common.Keywords
ContFunArr	HasCASL.AsUtils
continuationKeywords	Common.Token
Continuity	Isabelle.IsaSign
continuity	Isabelle.IsaSign
Continuous	CSL.TreePO
ContraVar	HasCASL.As
Control	GUI.HTkUtils
contS	CSL.Keywords
Conv	CASL.CompositionTable.ModelFormula
convergenceS	CSL.Keywords
converseOperationS	CASL.CompositionTable.Keywords
Conversetable
1 (Type/Class)	CASL.CompositionTable.CompositionTable
2 (Data Constructor)	CASL.CompositionTable.CompositionTable
conversetable	CASL.CompositionTable.Pretty2
Conversetable_Ternary	CASL.CompositionTable.CompositionTable
convert	GUI.GraphAbstraction
convertBasicTheory	OWL2.ManchesterPrint
convertChannelString	CspCASLProver.Consts
convertFileToLibStr	Common.LibName
convertFormula	CASL.AlphaConvert
convertFQProcessName2String	CspCASLProver.Consts
convertGlobalAnnos	Common.ConvertGlobalAnnos
convertGraph	GUI.GraphDisplay
Convertible	Logic.Logic
convertLiteralAnnos	Common.ConvertGlobalAnnos
convertMixfixToken	Common.ConvertMixfixToken
convertoItem
1 (Function)	CSMOF.ParseXmiAsLibDefn
2 (Function)	QVTR.ParseQvtAsLibDefn
convertOWL	OWL2.ParseOWLAsLibDefn
convertPGIPDataToString	PGIP.XMLstate
convertPrefixMap	OWL2.Parse
convertSort2String	CspCASLProver.Consts
convertTheory	Logic.Logic
convertToLibDefN
1 (Function)	CSMOF.ParseXmiAsLibDefn
2 (Function)	QVTR.ParseQvtAsLibDefn
convertToMap	Common.Lib.Graph
convertTypePattern	HasCASL.ConvertTypePattern
convertTypePatterns	HasCASL.ConvertTypePattern
convertTypeToKind	HasCASL.VarDecl
ConvFunc	GUI.GraphTypes
convTaxo	CASL.Taxonomy
convTypeToKind	HasCASL.VarDecl
Coord	GUI.HTkUtils
coord	GUI.HTkUtils
cOpenComment	CMDL.Shell
copyDiagram	Static.ArchDiagram
copyDiagramAux	Static.ArchDiagram
copyEdge	Static.ArchDiagram
copyEdges	Static.ArchDiagram
copyGInfo	GUI.GraphTypes
copyNode	Static.DevGraph
copySubTree	Static.DevGraph
copySubTreeN	Static.DevGraph
Coral	GUI.GraphTypes
core	THF.Sublogic
CoRecord
1 (Type/Class)	CoCASL.StatAna
2 (Data Constructor)	CoCASL.StatAna
coreFcts	Common.XPath
coriginType	SoftFOL.Sign
corollaryS	Isabelle.IsaConsts
corr2theo	OWL2.StaticAnalysis
correctEntity	OWL2.StaticAnalysis
correctFacet	OWL2.XMLConversion
correctFrames	OWL2.StaticAnalysis
correctSign
1 (Function)	ExtModal.ExtModalSign
2 (Function)	VSE.Ana
correctTarget
1 (Function)	ExtModal.Logic_ExtModal
2 (Function)	VSE.Ana
corresp2th	Logic.Logic
CORRESPONDENCE	Syntax.AS_Structured
Correspondence_block	Syntax.AS_Structured
CORRESPONDENCE_ID	Syntax.AS_Structured
CoSelect	CoCASL.AS_CoCASL
coselForms	CoCASL.StatAna
coselForms1	CoCASL.StatAna
coshS	CSL.Keywords
coSigItems	CoCASL.Parse_AS
CoSort_gen	CoCASL.AS_CoCASL
CoSort_gen_ax	CoCASL.AS_CoCASL
cosS	CSL.Keywords
CoSubsorts	CoCASL.AS_CoCASL
cothS	CSL.Keywords
cotS	CSL.Keywords
cotypeS	Common.Keywords
Count	Common.XmlDiff
counter	HasCASL.Le
CounterEquivalent	SoftFOL.MathServParsing
CounterSatisfiable	SoftFOL.MathServParsing
counterSparQ	Driver.Options
CounterTheorem	SoftFOL.MathServParsing
Courier	GUI.HTkUtils
CoVar	HasCASL.As
Co_construct	CoCASL.AS_CoCASL
co_sen_analysis	CoCASL.StatAna
Cp	Adl.As
cParenT
1 (Function)	CASL.CompositionTable.ParseSparQ
2 (Function)	Common.Lexer
3 (Function)	CommonLogic.Lexer_KIF
4 (Function)	CommonLogic.Lexer_CLIF
cpIndexMaps	Static.DevGraph
cpoMap	HasCASL.Builtin
cProve	CMDL.ProveCommands
cProveAll	CMDL.ProveCommands
cProver	CMDL.ProveConsistency
cpuTime	SoftFOL.MathServParsing
creadTk	GUI.HTkUtils
createArc	GUI.HTkUtils
createAxioms
1 (Function)	RDF.StaticAnalysis
2 (Function)	OWL2.StaticAnalysis
createBitMapItem	GUI.HTkUtils
createCalledTopRule	QVTR.StatAna
createCanvasTag	GUI.HTkUtils
createChildrenKeys	CSMOF.Parser
createClass	CSMOF.Parser
createConjForm	Maude.PreComorphism
createDataType	CSMOF.Parser
createEdgeNames	CMDL.Utils
createElement	CSMOF.Parser
createElementKey	CSMOF.Parser
createEmbeddedCanvasWin	GUI.HTkUtils
createEmbeddedTextWin	GUI.HTkUtils
createEqs	Maude.PreComorphism
createGraph	GUI.GraphMenu
createGThWith	Static.GTheory
createImageItem	GUI.HTkUtils
createImpForm	Maude.PreComorphism
createInstanceFromObject	CSMOF.StatAna
createIsaTheory	Isabelle.CreateTheories
createLine	GUI.HTkUtils
createLink	CSMOF.Parser
createLinksFromLinks	CSMOF.StatAna
createMark	GUI.HTkUtils
createMenu	GUI.HTkUtils
createMenuCascade	GUI.HTkUtils
createMenuCheckButton	GUI.HTkUtils
createMenuCommand	GUI.HTkUtils
createMenuRadioButton	GUI.HTkUtils
createMenuSeparator	GUI.HTkUtils
createModel	CSMOF.Parser
createModelKey	CSMOF.Parser
createNoteBookPage	GUI.HTkUtils
createObject	CSMOF.Parser
createOpMorMap	CASL.Disambiguate
createOval	GUI.HTkUtils
createOWLTheory	OWL2.CreateOWL
createPane	GUI.HTkUtils
createPolygon	GUI.HTkUtils
createPredMap	Maude.PreComorphism
createPredMap4sort	Maude.PreComorphism
createProperty
1 (Function)	CSMOF.Parser
2 (Function)	CSMOF.StatAna
createProverOptions	Interfaces.GenericATPState
createPulldownMenu	GUI.HTkUtils
createRectangle	GUI.HTkUtils
createRuleDef	QVTR.StatAna
createSign
1 (Function)	RDF.StaticAnalysis
2 (Function)	OWL2.StaticAnalysis
createSignMap	Propositional.Conversions
createSpec
1 (Function)	CSMOF.ParseXmiAsLibDefn
2 (Function)	QVTR.ParseQvtAsLibDefn
createSym4id	Maude.PreComorphism
createSymOp4id	Maude.PreComorphism
createSZSProver	THF.SZSProver
createTextDisplay
1 (Function)	GUI.HTkUtils
2 (Function)	GUI.Utils
createTextDisplayExt	GUI.HTkUtils
createTextItem	GUI.HTkUtils
createTextSaveDisplay
1 (Function)	GUI.Utils
2 (Function)	GUI.HTkUtils
createTextTag	GUI.HTkUtils
createTkVariable	GUI.HTkUtils
createToplevel	GUI.HTkUtils
createTransfWithMeta	QVTR.ParseQvtAsLibDefn
createVSETarFile	VSE.Prove
CreationConfig	GUI.HTkUtils
cRedo	CMDL.UndoRedo
cRedoHistory	CMDL.InfoCommands
criticalKeywords	Common.Token
cross	Common.Doc
crossT	Common.Token
crushT	Haskell.HatParser
Csa	THF.As
cschS	CSL.Keywords
CSConsistent	Proofs.ConsistencyCheck
cscS	CSL.Keywords
CSError	Proofs.ConsistencyCheck
cSetSave2File	CMDL.ProveCommands
cSetUseThms	CMDL.ProveCommands
cShowConcept	CMDL.InfoCommands
cShowDgGoals	CMDL.InfoCommands
cShowNodeAxioms	CMDL.InfoCommands
cShowNodeProvenGoals	CMDL.InfoCommands
cShowNodeUnprovenGoals	CMDL.InfoCommands
cShowOutput	CMDL.ProveCommands
cShowTaxonomy	CMDL.InfoCommands
cShowTheory	CMDL.InfoCommands
cShowTheoryGoals	CMDL.InfoCommands
CSign
1 (Type/Class)	CoCASL.StatAna
2 (Type/Class)	COL.Logic_COL
CSInconsistent	Proofs.ConsistencyCheck
CSingle	Common.DocUtils
CSize	Common.DocUtils
CSL
1 (Type/Class)	CSL.Logic_CSL
2 (Data Constructor)	CSL.Logic_CSL
cslReduceDefaultMapping	CSL.Reduce_Interface
CSMOF
1 (Type/Class)	CSMOF.Logic_CSMOF
2 (Data Constructor)	CSMOF.Logic_CSMOF
CSMOF2CASL
1 (Type/Class)	Comorphisms.CSMOF2CASL
2 (Data Constructor)	Comorphisms.CSMOF2CASL
Csp	THF.As
CspAddMorphism
1 (Type/Class)	CspCASL.Morphism
2 (Data Constructor)	CspCASL.Morphism
cspAddMorphismUnion	CspCASL.Morphism
CspBasicExt	CspCASL.AS_CspCASL
cspBasicExt	CspCASL.Parse_CspCASL
CspBasicSpec	CspCASL.StatAnaCSP
CspCASL	CspCASL.Logic_CspCASL
cspCASL	CspCASL.Logic_CspCASL
CspCASL2CspCASL
1 (Type/Class)	CspCASL.Comorphisms
2 (Data Constructor)	CspCASL.Comorphisms
CspCASL2Modal
1 (Type/Class)	Comorphisms.CspCASL2Modal
2 (Data Constructor)	Comorphisms.CspCASL2Modal
cspCASLFailure	CspCASL.Comorphisms
CspCASLMorphism	CspCASL.Morphism
cspCASLProver	CspCASLProver.CspCASLProver
CspCASLSemantics	CspCASL.Logic_CspCASL
CspCASLSen	CspCASL.SignCSP
CspCASLSign	CspCASL.SignCSP
cspCASLTrace	CspCASL.Comorphisms
cspCheckSymbList	CspCASL.Symbol
cspCogeneratedSign	CspCASL.SymMapAna
cspFThyS	CspCASLProver.Consts
cspGeneratedSign	CspCASL.SymMapAna
cspHideSym	CspCASL.SymMapAna
CspHOLComplex_thy	Isabelle.IsaSign
cspInducedFromMorphism	CspCASL.SymMapAna
cspInducedFromToMorphism	CspCASL.SymMapAna
cspKeywords	CspCASL.CspCASL_Keywords
CspKindedSymb	CspCASL.Symbol
cspMatches	CspCASL.SymMapAna
cspMorphismToCspSymbMap	CspCASL.Morphism
cspProfileContains	CspCASL.SymMapAna
cspProverbinEqF	CspCASLProver.CspProverConsts
cspProver_action_prefixOp	CspCASLProver.CspProverConsts
cspProver_alphabetised_parallelOp	CspCASLProver.CspProverConsts
cspProver_chan_nondeterministic_sendOp	CspCASLProver.CspProverConsts
cspProver_chan_recOp	CspCASLProver.CspProverConsts
cspProver_chan_sendOp	CspCASLProver.CspProverConsts
cspProver_chaosOp	CspCASLProver.CspProverConsts
cspProver_conditionalOp	CspCASLProver.CspProverConsts
cspProver_divOp	CspCASLProver.CspProverConsts
cspProver_external_choiceOp	CspCASLProver.CspProverConsts
cspProver_external_prefix_choiceOp	CspCASLProver.CspProverConsts
cspProver_general_parallelOp	CspCASLProver.CspProverConsts
cspProver_hidingOp	CspCASLProver.CspProverConsts
cspProver_interleavingOp	CspCASLProver.CspProverConsts
cspProver_internal_choiceOp	CspCASLProver.CspProverConsts
cspProver_internal_prefix_choiceOp	CspCASLProver.CspProverConsts
cspProver_NamedProcOp	CspCASLProver.CspProverConsts
cspProver_renamingOp	CspCASLProver.CspProverConsts
cspProver_runOp	CspCASLProver.CspProverConsts
cspProver_sequenceOp	CspCASLProver.CspProverConsts
cspProver_skipOp	CspCASLProver.CspProverConsts
cspProver_stopOp	CspCASLProver.CspProverConsts
cspProver_synchronousOp	CspCASLProver.CspProverConsts
CspRawMap	CspCASL.SymMapAna
CspRawSymbol	CspCASL.Symbol
cspRevealSym	CspCASL.SymMapAna
CspSen	CspCASL.SignCSP
CspSign
1 (Type/Class)	CspCASL.SignCSP
2 (Data Constructor)	CspCASL.SignCSP
cspSignUnion	CspCASL.SignCSP
cspSortId	CspCASL.Parse_CspCASL_Process
cspStartKeys	CspCASL.Parse_CspCASL_Process
cspStatSymbItems	CspCASL.Symbol
cspStatSymbMapItems	CspCASL.Symbol
cspSubsigInclusion	CspCASL.Morphism
CspSymb
1 (Type/Class)	CspCASL.SymbItems
2 (Data Constructor)	CspCASL.SymbItems
cspSymb	CspCASL.SymbItems
CspSymbItems
1 (Type/Class)	CspCASL.SymbItems
2 (Data Constructor)	CspCASL.SymbItems
cspSymbItems	CspCASL.SymbItems
CspSymbKind	CspCASL.SymbItems
cspSymbKind	CspCASL.SymbItems
CspSymbMap
1 (Type/Class)	CspCASL.SymbItems
2 (Data Constructor)	CspCASL.SymbItems
cspSymbMap	CspCASL.SymbItems
CspSymbMapItems
1 (Type/Class)	CspCASL.SymbItems
2 (Data Constructor)	CspCASL.SymbItems
cspSymbMapItems	CspCASL.SymbItems
cspSymbMaps	CspCASL.SymbItems
CspSymbol
1 (Type/Class)	CspCASL.Symbol
2 (Data Constructor)	CspCASL.Symbol
cspSymbOrMapToRaw	CspCASL.Symbol
cspSymbs	CspCASL.SymbItems
cspSymbToRaw	CspCASL.Symbol
CspSymbType	CspCASL.Symbol
cspSymbType	CspCASL.Symbol
cspSymName	CspCASL.Symbol
CspType	CspCASL.SymbItems
cspTypedSymbKindToRaw	CspCASL.Symbol
csp_casl_process	CspCASL.Parse_CspCASL_Process
cssIRI	OWL2.AS
cStartScript	CMDL.ProveCommands
cStatus	GUI.GtkConsistencyChecker
cStatusToColor	Proofs.ConsistencyCheck
cStatusToPrefix	Proofs.ConsistencyCheck
CSTimeout	Proofs.ConsistencyCheck
CSUnchecked	Proofs.ConsistencyCheck
CSy	OMDoc.OMDocInterface
Cth	THF.As
cTimeLimit	CMDL.ProveCommands
ctop	Common.Lattice, CASL.Sublogic
Ctor	Maude.AS_Maude
ctor	Maude.AS_Maude
ctorCons	Maude.PreComorphism
ctorSen	Maude.PreComorphism
cTranslate	CMDL.ProveCommands
cTrue	Isabelle.IsaConsts
ctx	Static.ArchDiagram
Ctxt
1 (Type/Class)	Isabelle.IsaExport
2 (Data Constructor)	Isabelle.IsaExport
3 (Type/Class)	Isabelle.IsaSign
4 (Data Constructor)	Isabelle.IsaSign
ctxt	CASL.CompositionTable.Pretty2
CType	THF.Cons
cType	HasCASL.Builtin
cTypeArg	HasCASL.Builtin
cTypeS	OWL2.AS
cUndo	CMDL.UndoRedo
cUndoHistory	CMDL.InfoCommands
Cup	THF.As
currentBaseTheory	Static.DevGraph
CurrentComorphism	Interfaces.Command
CurrentFocus	GUI.HTkUtils
currentGoal	Interfaces.GenericATPState
CurrentGrab
1 (Data Constructor)	GUI.HTkUtils
2 (Type/Class)	GUI.HTkUtils
CurrentLib	OMDoc.Import
currentLogic	Logic.Grothendieck
currentProofTree	Interfaces.GenericATPState
currentSublogic	Logic.Grothendieck
currentSyntax	Logic.Grothendieck
currentTargetBase	Logic.Grothendieck
currentTheory	Proofs.AbstractState
curryConstType	Comorphisms.THFP2THF0
curryFunT	Isabelle.IsaConsts
Cursor
1 (Data Constructor)	GUI.HTkUtils
2 (Type/Class)	GUI.HTkUtils
cursor	GUI.HTkUtils
CursorDesignator	GUI.HTkUtils
cUse	CMDL.DgCommands
Custom_thy	Isabelle.IsaSign
Cut	FreeCAD.As
cutIRI	OWL2.AS
cutWith	OWL2.Function
cWord	CASL.CompositionTable.ParseSparQ
cyclicClassId	HasCASL.ClassAna
cyclicType	HasCASL.TypeAna
Cylinder	FreeCAD.As
C_BASIC_ITEM	CoCASL.AS_CoCASL
C_BASIC_SPEC
1 (Type/Class)	CoCASL.AS_CoCASL
2 (Type/Class)	COL.Logic_COL
c_data	RelationalScheme.Sign
C_FORMULA	CoCASL.AS_CoCASL
c_key	RelationalScheme.Sign
c_name	RelationalScheme.Sign
C_SIG_ITEM	CoCASL.AS_CoCASL