| C | Adl.As |
| Cache | PGIP.Shared |
| 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) | DFOL.Morphism |
| 2 (Function) | LF.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.ParseMS |
| 2 (Function) | OWL2.Parse |
| Cardinality | |
| 1 (Data Constructor) | CASL_DL.AS_CASL_DL |
| 2 (Type/Class) | OWL2.AS |
| 3 (Data Constructor) | OWL2.AS |
| 4 (Type/Class) | Taxonomy.MMiSSOntology |
| cardinality | CSMOF.Sign |
| cardinalityS | CASL_DL.AS_CASL_DL |
| CardinalityType | OWL2.AS |
| cardinalityType | |
| 1 (Function) | OWL2.PrintMS |
| 2 (Function) | 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) | Fpl.As |
| 2 (Data Constructor) | Isabelle.IsaSign |
| 3 (Type/Class) | TIP.AbsTIP |
| 4 (Data Constructor) | TIP.AbsTIP |
| 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 |
| casl | PGIP.Server.Examples |
| 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 |
| CASL2NNF | |
| 1 (Type/Class) | Comorphisms.CASL2NNF |
| 2 (Data Constructor) | Comorphisms.CASL2NNF |
| CASL2OWL | |
| 1 (Type/Class) | OWL2.CASL2OWL |
| 2 (Data Constructor) | OWL2.CASL2OWL |
| CASL2PCFOL | |
| 1 (Type/Class) | Comorphisms.CASL2PCFOL |
| 2 (Data Constructor) | Comorphisms.CASL2PCFOL |
| CASL2Prenex | |
| 1 (Type/Class) | Comorphisms.CASL2Prenex |
| 2 (Data Constructor) | Comorphisms.CASL2Prenex |
| CASL2Prop | |
| 1 (Type/Class) | Comorphisms.CASL2Prop |
| 2 (Data Constructor) | Comorphisms.CASL2Prop |
| CASL2Skolem | |
| 1 (Type/Class) | Comorphisms.CASL2Skolem |
| 2 (Data Constructor) | Comorphisms.CASL2Skolem |
| 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 |
| caslGroupSpec | Syntax.Parse_AS_Structured |
| 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 |
| catchIOException | Common.IO |
| Category | Logic.Logic |
| catPosAux | Common.Id |
| catRange | Common.Id |
| catSels | CASL.StaticAna |
| CAX | TPTP.AS |
| 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 |
| cEdges | CMDL.InfoCommands |
| Ceiling | |
| 1 (Data Constructor) | THF.As |
| 2 (Data Constructor) | TPTP.AS |
| ceilingS | CSL.Keywords |
| Cell | Common.Amalgamate |
| CEmpty | Common.DocUtils |
| cEndScript | CMDL.ProveCommands |
| Center | GUI.HTkUtils |
| CEQ | TPTP.AS |
| 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 |
| changePrefixMapTypeToGA | OWL2.AS |
| changePrefixMapTypeToString | OWL2.AS |
| ChangeRes | Static.XSimplePath |
| changesDGH | Static.History |
| ChangeSel | Common.XUpdate |
| changeSyntax | OWL2.AS |
| 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 | Common.Lib.Pretty |
| Character | OWL2.AS |
| characteristicsC | OWL2.ColonKeywords |
| CharacteristicsSection | OWL2.PrintMS |
| characterKey | OWL2.Parse |
| characters | |
| 1 (Function) | OWL2.ParseMS |
| 2 (Function) | OWL2.Parse |
| charMap | |
| 1 (Function) | Common.ProofUtils |
| 2 (Function) | THF.Translate |
| charOrEscaped | |
| 1 (Function) | OWL2.ParseAS |
| 2 (Function) | OWL2.ParseMS |
| 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 |
| 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 | |
| 1 (Function) | Interfaces.Utils |
| 2 (Function) | HetsAPI.ProveCommands, HetsAPI.Commands |
| checkConservativityEdgeAndRecord | HetsAPI.ProveCommands |
| checkConservativityEdgeWith | Interfaces.Utils |
| checkConservativityNode | Interfaces.Utils |
| checkconservativityOfEdge | GUI.GraphLogic |
| checkconservativityOfNode | GUI.GraphLogic |
| checkConsistency | HetsAPI.ProveCommands, HetsAPI.Commands |
| checkConsistencyAndRecord | HetsAPI.ProveCommands |
| CheckConsistencyCurrent | Interfaces.Command |
| checkConstr | ExtModal.StatAna |
| checkDataArg | OWL2.StaticAnalysis |
| checkDataPropList | OWL2.StaticAnalysis |
| checkDataRange | OWL2.StaticAnalysis |
| checkDGAtom | OWL2.StaticAnalysis |
| checkDGEdgeAssertion | OWL2.StaticAnalysis |
| checkDGraph | Static.CheckGlobalContext |
| checkDLAtom | OWL2.StaticAnalysis |
| checkEdgeIds | Proofs.EdgeUtils |
| checkEntity | OWL2.StaticAnalysis |
| checkerId | Common.Consistency |
| checkerUsable | Common.Consistency |
| checkExtSign | Logic.ExtSign |
| 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 | |
| 1 (Function) | SoftFOL.Translate |
| 2 (Function) | TPTP.Translate |
| checkIndividualArg | OWL2.StaticAnalysis |
| checkIntString | CMDL.Utils |
| checkKinds | HasCASL.ClassAna |
| checkList | CMDL.ProcessScript |
| checkListDisproved | CMDL.ProcessScript |
| checkLiteral | OWL2.StaticAnalysis |
| checkLocalTops | CspCASL.LocalTop |
| checkMapMaybe | OWL2.Medusa |
| 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 |
| 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 |
| chName | CMDL.DataTypes |
| Choice | CspCASL.Print_CspCASL |
| choiceP | Adl.Parse |
| choiceS | Adl.Parse |
| choose | |
| 1 (Function) | GUI.UDGUtils |
| 2 (Function) | GUI.HTkUtils |
| 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) | FreeCAD.As |
| 2 (Data Constructor) | GUI.UDGUtils |
| circle | GUI.HTkUtils |
| Circulate | GUI.HTkUtils |
| CIType | |
| 1 (Type/Class) | CSL.TreePO |
| 2 (Data Constructor) | CSL.TreePO |
| cjoin | Common.Lattice, CASL.Sublogic |
| cKey | CASL.CompositionTable.ParseSparQ |
| CKOp | |
| 1 (Data Constructor) | SoftFOL.Translate |
| 2 (Data Constructor) | TPTP.Translate |
| CKPred | |
| 1 (Data Constructor) | SoftFOL.Translate |
| 2 (Data Constructor) | TPTP.Translate |
| CKSort | |
| 1 (Data Constructor) | SoftFOL.Translate |
| 2 (Data Constructor) | TPTP.Translate |
| CKType | |
| 1 (Type/Class) | SoftFOL.Translate |
| 2 (Type/Class) | TPTP.Translate |
| CKVar | |
| 1 (Data Constructor) | SoftFOL.Translate |
| 2 (Data Constructor) | TPTP.Translate |
| CL2CFOL | |
| 1 (Type/Class) | Comorphisms.CommonLogic2CASL |
| 2 (Data Constructor) | Comorphisms.CommonLogic2CASL |
| Class | |
| 1 (Type/Class) | CSMOF.As |
| 2 (Data Constructor) | CSMOF.As |
| 3 (Type/Class) | Isabelle.IsaExport |
| 4 (Data Constructor) | Isabelle.IsaExport |
| 5 (Data Constructor) | Isabelle.IsaSign |
| 6 (Data Constructor) | OWL2.AS |
| 7 (Type/Class) | OWL2.AS |
| ClassAsItemType | HasCASL.Le |
| ClassAssertion | OWL2.AS |
| classAssertionK | OWL2.XMLKeywords |
| classAssertionS | OWL2.ASKeywords |
| ClassAtom | OWL2.AS |
| classAtomK | OWL2.XMLKeywords |
| classAtomS | OWL2.ASKeywords |
| ClassAxiom | |
| 1 (Type/Class) | OWL2.AS |
| 2 (Data Constructor) | OWL2.AS |
| classAxiomsToDoc | OWL2.PrintMS |
| classBody | Isabelle.IsaSign |
| classC | OWL2.ColonKeywords |
| classContext | Isabelle.IsaSign |
| ClassDecl | |
| 1 (Type/Class) | HasCASL.As |
| 2 (Data Constructor) | HasCASL.As |
| 3 (Type/Class) | Isabelle.IsaSign |
| 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.PrintMS |
| classFrame | OWL2.ParseMS |
| classFrameSection | OWL2.ParseMS |
| 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 |
| 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 |
| clean | Persistence.DevGraph.Cleaning |
| cleanEnv | HasCASL.AsToLe |
| 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 |
| clif | PGIP.Server.Examples |
| 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 |
| CNF | TPTP.Sublogic |
| cnf | |
| 1 (Function) | Propositional.Fold |
| 2 (Function) | QBF.Tools |
| CNFF_parens | TPTP.AS |
| CNFF_plain | TPTP.AS |
| CnfKind | SoftFOL.Sign |
| CNF_annotated | |
| 1 (Type/Class) | TPTP.AS |
| 2 (Data Constructor) | TPTP.AS |
| CNF_formula | TPTP.AS |
| 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 |
| coerceConservativityChecker | Proofs.AbstractState |
| coerceFreeDefMorphism | Logic.Coerce |
| coerceId | Persistence.Utils |
| 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 | |
| 1 (Data Constructor) | Persistence.Schema.OMSOrigin |
| 2 (Data Constructor) | Static.DgUtils |
| CofreeDef | Persistence.Schema.MappingType |
| CofreeOpen | Persistence.Schema.MappingType |
| CofreeProved | Persistence.Schema.MappingType |
| cofreeS | Common.Keywords |
| CoFree_datatype | CoCASL.AS_CoCASL |
| Cofree_spec | Syntax.AS_Structured |
| cogeneratedS | Common.Keywords |
| cogeneratedSign | |
| 1 (Function) | CASL.SymbolMapAnalysis |
| 2 (Function) | HasCASL.SymbolMapAnalysis |
| 3 (Function) | OWL2.Morphism |
| cogenerated_sign | Logic.Logic |
| coGenSig | |
| 1 (Function) | DFOL.Morphism |
| 2 (Function) | LF.Sign |
| 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 |
| colimitRel | Common.SetColimit |
| 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 |
| collectVariableTypes | THF.Poly |
| collectVars | CASL.Kif2CASL |
| collectVarSet | QVTR.StatAna |
| COLMor | COL.Logic_COL |
| colon | |
| 1 (Function) | Common.Lib.Pretty |
| 2 (Function) | Common.Doc |
| colonKeywords | OWL2.ColonKeywords |
| colonQuMark | Common.Keywords |
| colonS | Common.Keywords |
| colonST | Common.Token |
| colonT | Common.AnnoState |
| Color | |
| 1 (Type/Class) | GUI.UDGUtils |
| 2 (Data Constructor) | GUI.UDGUtils |
| Colormap | GUI.HTkUtils |
| Colors | GUI.GraphTypes |
| Colour | |
| 1 (Type/Class) | GUI.HTkUtils |
| 2 (Data Constructor) | 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) | RelationalScheme.AS |
| 2 (Function) | GUI.HTkUtils |
| 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 |
| combineMorphs | LF.Twelf2GR |
| combineS | Common.Keywords |
| ComboBox | GUI.HTkUtils |
| ComboBoxText | GUI.GtkUtils |
| Comm | |
| 1 (Data Constructor) | HasCASL.As |
| 2 (Data Constructor) | Maude.AS_Maude |
| 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) | LF.MorphParser |
| 2 (Function) | OWL2.ParseMS |
| 3 (Function) | OWL2.Parse |
| 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 |
| 4 (Type/Class) | TPTP.AS |
| comment | |
| 1 (Function) | OWL2.Keywords |
| 2 (Function) | OWL2.ParseAS |
| 3 (Function) | OWL2.ParseMS |
| 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_CLIF |
| 3 (Function) | CommonLogic.Lexer_KIF |
| commentLineStart | CommonLogic.Lexer_CLIF |
| commentOut | CASL.Kif |
| commentS | CSL.Keywords |
| commentText | Common.Doc |
| Comment_Block | THF.As |
| Comment_block | TPTP.AS |
| Comment_Line | THF.As |
| Comment_line | TPTP.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 |
| comorphismToJson | Logic.LGToJson |
| 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 |
| ComplexClassExpr | OWL2.PrintMS |
| complexObjectProperties | OWL2.Sublogic |
| complexRoleInclusions | OWL2.Sublogic |
| compMor | HasCASL.Morphism |
| compMorph | |
| 1 (Function) | DFOL.Morphism |
| 2 (Function) | LF.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 |
| components | OWL2.Sublogic |
| Component_ref | Syntax.AS_Architecture |
| compose | Maude.Morphism |
| composeM | CASL.Morphism |
| composeMap | Common.Utils |
| composeMor | |
| 1 (Function) | CSL.Morphism |
| 2 (Function) | CommonLogic.Morphism |
| 3 (Function) | OWL2.Morphism |
| 4 (Function) | NeSyPatterns.Morphism |
| 5 (Function) | Propositional.Morphism |
| 6 (Function) | QBF.Morphism |
| 7 (Function) | Temporal.Morphism |
| composeMorphismExtension | CASL.Morphism |
| composeMorphisms | Logic.Logic |
| Compose_ref | Syntax.AS_Architecture |
| compositeObjectProperties | OWL2.Sublogic |
| Composite_Term | ConstraintCASL.AS_ConstraintCASL |
| Composition | |
| 1 (Data Constructor) | ExtModal.AS_ExtModal |
| 2 (Data Constructor) | Static.DgUtils |
| composition | Proofs.Composition |
| CompositionCreateEdges | Interfaces.Command |
| compositionCreateEdges | HetsAPI.Commands |
| compositionCreatingEdges | Proofs.Composition |
| compositionCreatingEdgesFromList | Proofs.Composition |
| compositionFromList | Proofs.Composition |
| compositionOperationS | CASL.CompositionTable.Keywords |
| CompositionProveEdges | Interfaces.Command |
| compositionProveEdges | HetsAPI.Commands, HetsAPI |
| Compositiontable | |
| 1 (Type/Class) | CASL.CompositionTable.CompositionTable |
| 2 (Data Constructor) | CASL.CompositionTable.CompositionTable |
| compoundIriCurie | Common.IRI |
| compPointer | Static.DgUtils |
| compPT | Isabelle.IsaConsts |
| compS | Isabelle.IsaConsts |
| comps | Common.Token |
| compSubst | HasCASL.Unify |
| CompTable | Taxonomy.AbstractGraphView |
| ComptableXml | Driver.Options |
| compTerm | SoftFOL.Sign |
| compType | CASL.StaticAna |
| computeColimit | |
| 1 (Function) | Proofs.ComputeColimit |
| 2 (Function) | HetsAPI.Commands, HetsAPI |
| computeColimitRel | Common.SetColimit |
| 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 |
| computePNF | Comorphisms.CASL2Prenex |
| 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 |
| conass2map | LF.Twelf2GR |
| conassQN | LF.Twelf2GR |
| conC | Isabelle.IsaConsts |
| concatD | TIP.PrintTIP |
| ConcatExp | QVTR.As |
| concatMapM | Common.Utils |
| concatMapRange | Common.Id |
| concatS | TIP.PrintTIP |
| concatWithError | GUI.HTkUtils |
| concentrate | Comorphisms.HasCASL2IsabelleHOL |
| Concept | |
| 1 (Type/Class) | Adl.As |
| 2 (Data Constructor) | Interfaces.Command |
| Conceptmembership | OWL2.Sign |
| conceptPred | CASL_DL.PredefinedCASLAxioms |
| 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 |
| Cond | |
| 1 (Data Constructor) | CSL.AS_BASIC_CSL |
| 2 (Data Constructor) | CASL.CompositionTable.ModelFormula |
| 3 (Data Constructor) | CspCASL.Print_CspCASL |
| cond2formula | Maude.PreComorphism |
| Condensed | GUI.HTkUtils |
| Condition | Maude.AS_Maude |
| Conditional | |
| 1 (Data Constructor) | CASL.AS_Basic_CASL |
| 2 (Data Constructor) | Isabelle.IsaSign |
| 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 (Data Constructor) | Maude.AS_Maude |
| 2 (Type/Class) | GUI.HTkUtils |
| config | GUI.HTkUtils |
| configRadioButton | GUI.HTkUtils |
| configsMap | Interfaces.GenericATPState |
| configTimeLimit | Interfaces.GenericATPState |
| Configure | GUI.HTkUtils |
| configure | GUI.HTkUtils |
| configuredReasoner | PGIP.GraphQL.Result.ReasonerConfiguration |
| configUsed | GUI.UDGUtils, GUI.HTkUtils |
| configUsed' | GUI.UDGUtils |
| confine | GUI.HTkUtils |
| confirmMess | GUI.HTkUtils |
| conj | Isabelle.IsaConsts |
| Conjecture | |
| 1 (Type/Class) | PGIP.GraphQL.Result.Conjecture |
| 2 (Data Constructor) | PGIP.GraphQL.Result.Conjecture |
| 3 (Data Constructor) | PGIP.GraphQL.Result.Sentence |
| 4 (Type/Class) | Persistence.Schema |
| 5 (Data Constructor) | Persistence.Schema |
| 6 (Data Constructor) | SoftFOL.Sign |
| 7 (Data Constructor) | THF.As |
| 8 (Data Constructor) | TPTP.AS |
| conjecture | PGIP.ReasoningParameters |
| ConjectureActionId | Persistence.Schema |
| conjectureActionId | Persistence.Schema |
| Conjectured | Static.GTheory |
| ConjectureId | |
| 1 (Type/Class) | Persistence.Schema |
| 2 (Data Constructor) | Persistence.Schema |
| ConjectureKey | Persistence.Schema |
| ConjectureProofStatus | Persistence.Schema |
| conjectureProofStatus | Persistence.Schema |
| conjectures | SoftFOL.EProver |
| conjectureToResult | PGIP.GraphQL.Resolver.ToResult |
| 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) | ConstraintCASL.Formula |
| 2 (Function) | OWL2.ParseMS |
| 3 (Function) | OWL2.Parse |
| conjunctRange | CASL.AS_Basic_CASL |
| conjV | Isabelle.IsaConsts |
| ConK | Adl.Sign |
| connectCAS | CSL.Reduce_Interface |
| connected | OWL2.Sublogic |
| connectH | Driver.Options |
| connection | Persistence.SQLite |
| connections | CMDL.DataTypes |
| connectP | Driver.Options |
| ConPat | TIP.AbsTIP |
| Cons | |
| 1 (Data Constructor) | Common.Data |
| 2 (Data Constructor) | Common.Consistency |
| cons | |
| 1 (Function) | Common.Lib.SizedList |
| 2 (Function) | CommonLogic.PredefinedCASLAxioms |
| 3 (Function) | Static.XGraph |
| 4 (Function) | Comorphisms.HasCASL2IsabelleHOL |
| consChar | CASL_DL.PredefinedCASLAxioms |
| ConsCheck | CMDL.DataTypes |
| consCheck | TPTP.ConsChecker |
| ConsChecker | |
| 1 (Type/Class) | Logic.Prover |
| 2 (Data Constructor) | Logic.Prover |
| 3 (Data Constructor) | Proofs.AbstractState |
| consChecker | Interfaces.DataTypes |
| ConsCheckerChange | Interfaces.DataTypes |
| consCheckers | CMDL.DataTypes |
| ConsCheckingOptions | |
| 1 (Type/Class) | HetsAPI.ProveCommands |
| 2 (Data Constructor) | HetsAPI.ProveCommands |
| conserCheck | |
| 1 (Function) | Propositional.Conservativity |
| 2 (Function) | OWL2.Conservativity |
| Conservativity | |
| 1 (Type/Class) | Common.Consistency |
| 2 (Data Constructor) | Interfaces.Command |
| 3 (Type/Class) | OMDoc.OMDocInterface |
| conservativity | |
| 1 (Function) | Proofs.Conservativity |
| 2 (Function) | HetsAPI.Commands, HetsAPI |
| conservativityCheck | Logic.Logic |
| ConservativityChecker | |
| 1 (Type/Class) | Common.Consistency |
| 2 (Data Constructor) | Common.Consistency |
| 3 (Data Constructor) | Interfaces.Command |
| conservativityCheckerId | Proofs.AbstractState |
| ConservativityCheckerOpen | Interfaces.Command |
| conservativityCheckerUsable | Proofs.AbstractState |
| ConservativityStatus | |
| 1 (Type/Class) | PGIP.GraphQL.Result.ConservativityStatus |
| 2 (Data Constructor) | PGIP.GraphQL.Result.ConservativityStatus |
| 3 (Type/Class) | Persistence.Schema |
| 4 (Data Constructor) | Persistence.Schema |
| conservativityStatus | |
| 1 (Function) | PGIP.GraphQL.Result.Mapping |
| 2 (Function) | PGIP.GraphQL.Result.OMS |
| ConservativityStatusId | |
| 1 (Type/Class) | Persistence.Schema |
| 2 (Data Constructor) | Persistence.Schema |
| ConservativityStatusKey | Persistence.Schema |
| ConservativityStatusProved | Persistence.Schema |
| conservativityStatusProved | Persistence.Schema |
| ConservativityStatusRequired | Persistence.Schema |
| conservativityStatusRequired | Persistence.Schema |
| conservativityStatusToResult | PGIP.GraphQL.Resolver.ToResult |
| conservativityUnknownReason | Common.Consistency |
| consId | Common.Token |
| ConsistencyCheck | Driver.Options |
| consistencyCheck | Proofs.ConsistencyCheck |
| ConsistencyCheckAttempt | |
| 1 (Data Constructor) | Persistence.Schema.Enums |
| 2 (Type/Class) | Persistence.Schema |
| 3 (Data Constructor) | Persistence.Schema |
| ConsistencyCheckAttemptConsistencyStatus | Persistence.Schema |
| consistencyCheckAttemptConsistencyStatus | Persistence.Schema |
| ConsistencyCheckAttemptId | |
| 1 (Type/Class) | Persistence.Schema |
| 2 (Data Constructor) | Persistence.Schema |
| ConsistencyCheckAttemptKey | Persistence.Schema |
| ConsistencyCheckAttemptOmsId | Persistence.Schema |
| consistencyCheckAttemptOmsId | Persistence.Schema |
| consistencyCheckAttempts | PGIP.GraphQL.Result.OMS |
| ConsistencyChecker | |
| 1 (Data Constructor) | Interfaces.Command |
| 2 (Data Constructor) | Persistence.Schema.Enums |
| consistencyS | CASL.CompositionTable.Keywords |
| ConsistencyStatus | |
| 1 (Type/Class) | Proofs.ConsistencyCheck |
| 2 (Data Constructor) | Proofs.ConsistencyCheck |
| ConsistencyStatusType | Persistence.Schema.ConsistencyStatusType |
| Consistent | Persistence.Schema.ConsistencyStatusType |
| conSome | Isabelle.IsaConsts |
| consOp | CommonLogic.PredefinedCASLAxioms |
| consOptsComorphism | HetsAPI.ProveCommands |
| consOptsConsChecker | HetsAPI.ProveCommands |
| consOptsIncludeTheorems | HetsAPI.ProveCommands |
| consOptsTimeout | HetsAPI.ProveCommands |
| 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) | CASL.CompositionTable.ModelFormula |
| 2 (Data Constructor) | HolLight.Term |
| 3 (Type/Class) | Isabelle.IsaExport |
| 4 (Data Constructor) | Isabelle.IsaExport |
| 5 (Data Constructor) | Isabelle.IsaSign |
| 6 (Data Constructor) | LF.Sign |
| 7 (Data Constructor) | Maude.AS_Maude |
| 8 (Data Constructor) | TIP.AbsTIP |
| constAnno | THF.Sign |
| Constant | |
| 1 (Type/Class) | THF.As |
| 2 (Type/Class) | TPTP.AS |
| 3 (Data Constructor) | TPTP.Sign |
| ConstantName | CSL.AS_BASIC_CSL |
| constantQN | LF.Twelf2GR |
| ConstantSet | TPTP.Sign |
| constantSet | TPTP.Sign |
| constantToXml | OMDoc.XmlInterface |
| constBool | Fpl.As |
| constBoolType | VSE.Ana |
| constCoRecord | CoCASL.StatAna |
| ConstDef | |
| 1 (Data Constructor) | CSL.AS_BASIC_CSL |
| 2 (Type/Class) | Isabelle.IsaExport |
| 3 (Data Constructor) | Isabelle.IsaExport |
| 4 (Data Constructor) | Isabelle.IsaSign |
| 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) | CSL.AS_BASIC_CSL |
| 2 (Function) | Isabelle.IsaExport |
| 3 (Function) | Isabelle.IsaSign |
| 4 (Function) | THF.Sign |
| 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) | HasCASL.Constrain |
| 2 (Type/Class) | THF.Poly |
| ConstraintTERM | ConstraintCASL.AS_ConstraintCASL |
| constraintterm | ConstraintCASL.Formula |
| constraintToType | THF.Poly |
| ConstraintType | CSMOF.Sign |
| constraintType | CSMOF.Sign |
| constRecord | |
| 1 (Function) | CSL.Fold |
| 2 (Function) | CASL.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 (Data Constructor) | HasCASL.As |
| 2 (Type/Class) | Isabelle.IsaExport |
| 3 (Data Constructor) | Isabelle.IsaExport |
| 4 (Type/Class) | OMDoc.OMDocInterface |
| 5 (Data Constructor) | OMDoc.OMDocInterface |
| 6 (Type/Class) | TIP.AbsTIP |
| 7 (Data Constructor) | TIP.AbsTIP |
| 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) | COL.COLSign |
| 2 (Function) | CoCASL.CoCASLSign |
| 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 |
| 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 | TIP.AbsTIP |
| constType | |
| 1 (Function) | Isabelle.IsaSign |
| 2 (Function) | THF.Sign |
| ConstTypeMono | TIP.AbsTIP |
| ConstTypePoly | TIP.AbsTIP |
| 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 |
| containsCircle | OWL2.Sublogic |
| contentToAddChange | Common.XmlDiff |
| CONTEXT | |
| 1 (Type/Class) | DFOL.Sign |
| 2 (Type/Class) | LF.Sign |
| Context | |
| 1 (Type/Class) | Adl.As |
| 2 (Data Constructor) | Adl.As |
| 3 (Data Constructor) | DFOL.Sign |
| 4 (Type/Class) | GUI.UDGUtils |
| context | Isabelle.IsaParse |
| contextFilePath | Persistence.DBConfig |
| contextFileVersion | Persistence.DBConfig |
| contextS | Isabelle.IsaConsts |
| ContextualizedDomain | Syntax.AS_Library |
| contFun | Common.Keywords |
| ContFunArr | HasCASL.AsUtils |
| continuationKeywords | Common.Token |
| Continuity | Isabelle.IsaSign |
| continuity | Isabelle.IsaSign |
| Continuous | CSL.TreePO |
| CONTR | Persistence.Schema.Enums |
| Contradictory | Persistence.Schema.ConsistencyStatusType |
| 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 |
| 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) | QVTR.ParseQvtAsLibDefn |
| 2 (Function) | CSMOF.ParseXmiAsLibDefn |
| convertOWL | OWL2.ParseOWL |
| convertPGIPDataToString | PGIP.XMLstate |
| convertPrefixMap | OWL2.Parse |
| convertRequestToMapKey | PGIP.RequestCache |
| convertSort2String | CspCASLProver.Consts |
| convertTheory | Logic.Logic |
| convertToLibDefN | |
| 1 (Function) | QVTR.ParseQvtAsLibDefn |
| 2 (Function) | CSMOF.ParseXmiAsLibDefn |
| 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 |
| COPs | OWL2.Sublogic |
| 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 |
| Corollary | TPTP.AS |
| 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 |
| 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 | |
| 1 (Data Constructor) | Persistence.Schema.Enums |
| 2 (Data Constructor) | SoftFOL.MathServParsing |
| Courier | GUI.HTkUtils |
| CoVar | HasCASL.As |
| Co_construct | CoCASL.AS_CoCASL |
| co_sen_analysis | CoCASL.StatAna |
| Cp | Adl.As |
| cParenT | |
| 1 (Function) | Common.Lexer |
| 2 (Function) | CASL.CompositionTable.ParseSparQ |
| 3 (Function) | CommonLogic.Lexer_CLIF |
| 4 (Function) | CommonLogic.Lexer_KIF |
| cpIndexMaps | Static.DevGraph |
| cpoMap | HasCASL.Builtin |
| cPrenex | CASL.Sublogic |
| 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 |
| createNewRequestCache | PGIP.RequestCache |
| 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 |
| createRange | Persistence.Range |
| createRectangle | GUI.HTkUtils |
| createRuleDef | QVTR.StatAna |
| createSign | |
| 1 (Function) | RDF.StaticAnalysis |
| 2 (Function) | OWL2.StaticAnalysis |
| createSignMap | Propositional.Conversions |
| createSpec | |
| 1 (Function) | QVTR.ParseQvtAsLibDefn |
| 2 (Function) | CSMOF.ParseXmiAsLibDefn |
| 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.HTkUtils |
| 2 (Function) | GUI.Utils |
| createTextTag | GUI.HTkUtils |
| createTkVariable | GUI.HTkUtils |
| createToplevel | GUI.HTkUtils |
| createTransfWithMeta | QVTR.ParseQvtAsLibDefn |
| createVSETarFile | VSE.Prove |
| CreationConfig | GUI.HTkUtils |
| Creator_name | TPTP.AS |
| Creator_source | |
| 1 (Type/Class) | TPTP.AS |
| 2 (Data Constructor) | TPTP.AS |
| cRedo | CMDL.UndoRedo |
| cRedoHistory | CMDL.InfoCommands |
| criticalKeywords | Common.Token |
| cross | Common.Doc |
| crossT | Common.Token |
| CSA | |
| 1 (Data Constructor) | Persistence.Schema.Enums |
| 2 (Data Constructor) | TPTP.AS |
| Csa | THF.As |
| CSAS | Persistence.Schema.Enums |
| 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 | TPTP.AS |
| 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 |
| cStartScript | CMDL.ProveCommands |
| cStatus | GUI.GtkConsistencyChecker |
| cStatusToColor | Proofs.ConsistencyCheck |
| cStatusToPrefix | Proofs.ConsistencyCheck |
| CSTimeout | Proofs.ConsistencyCheck |
| CSUnchecked | Proofs.ConsistencyCheck |
| CSy | OMDoc.OMDocInterface |
| CTH | TPTP.AS |
| 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 | TPTP.AS |
| Cup | THF.As |
| currentBaseTheory | Static.DevGraph |
| CurrentComorphism | Interfaces.Command |
| CurrentFocus | GUI.HTkUtils |
| currentGoal | Interfaces.GenericATPState |
| CurrentGrab | |
| 1 (Type/Class) | GUI.HTkUtils |
| 2 (Data Constructor) | 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 (Type/Class) | GUI.HTkUtils |
| 2 (Data Constructor) | GUI.HTkUtils |
| cursor | GUI.HTkUtils |
| CursorDesignator | GUI.HTkUtils |
| cUse | CMDL.DgCommands |
| Custom_thy | Isabelle.IsaSign |
| Cut | FreeCAD.As |
| cutIRI | OWL2.AS |
| cutWith | OWL2.Function |
| cvc4 | TPTP.Prover.CVC4 |
| 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 |