Index - D
| dagger | Common.Doc |
| DagSource | THF.As |
| Darwin | SoftFOL.ProveDarwin |
| darwinCMDLautomaticBatch | SoftFOL.ProveDarwin |
| darwinConsChecker | SoftFOL.ProveDarwin |
| darwinExe | SoftFOL.ProveDarwin |
| DarwinFD | SoftFOL.ProveDarwin |
| darwinProver | SoftFOL.ProveDarwin |
| Dashed | GUI.UDGUtils |
| dashv | Common.Doc |
| Data | |
| 1 (Data Constructor) | OWL2.Sign |
| 2 (Data Constructor) | Syntax.AS_Structured |
| dataAllValuesFromK | OWL2.XMLKeywords |
| DataBit | OWL2.MS |
| DataCardinality | OWL2.AS |
| DataComplementOf | OWL2.AS |
| dataComplementOfK | OWL2.XMLKeywords |
| dataConjunct | OWL2.Parse |
| DataEntry | |
| 1 (Type/Class) | HasCASL.Le |
| 2 (Data Constructor) | HasCASL.Le |
| dataExactCardinalityK | OWL2.XMLKeywords |
| dataFrameBit | OWL2.ManchesterParser |
| DataFunctional | OWL2.MS |
| DataHasValue | OWL2.AS |
| dataHasValueK | OWL2.XMLKeywords |
| dataIntersectionOfK | OWL2.XMLKeywords |
| DataJunction | OWL2.AS |
| dataMaxCardinalityK | OWL2.XMLKeywords |
| dataMinCardinalityK | OWL2.XMLKeywords |
| DataOneOf | OWL2.AS |
| dataOneOfK | OWL2.XMLKeywords |
| DataPat | |
| 1 (Type/Class) | HasCASL.DataAna |
| 2 (Data Constructor) | HasCASL.DataAna |
| dataPatToType | HasCASL.TypeDecl |
| dataPred | CASL_DL.PredefinedCASLAxioms |
| dataPrimary | OWL2.Parse |
| dataProperties | OWL2.Sign |
| DataProperty | |
| 1 (Data Constructor) | OWL2.AS |
| 2 (Type/Class) | OWL2.AS |
| dataPropertyAssertionK | OWL2.XMLKeywords |
| dataPropertyC | OWL2.ColonKeywords |
| dataPropertyDomainK | OWL2.XMLKeywords |
| DataPropertyExpression | OWL2.AS |
| DataPropertyFact | OWL2.MS |
| dataPropertyFrame | OWL2.ManchesterParser |
| dataPropertyK | OWL2.XMLKeywords |
| dataPropertyRangeK | OWL2.XMLKeywords |
| dataPropExprAList | OWL2.ManchesterParser |
| dataPropList | OWL2.XMLKeywords |
| DataPropRange | OWL2.MS |
| DataRange | OWL2.AS |
| dataRange | |
| 1 (Function) | OWL2.Parse |
| 2 (Function) | OWL2.Profiles |
| dataRangeList | OWL2.XMLKeywords |
| dataRangeRestriction | OWL2.Parse |
| dATAS | OWL2.Keywords |
| dataS | |
| 1 (Function) | Common.Keywords |
| 2 (Function) | CASL_DL.PredefinedCASLAxioms |
| dataSomeValuesFromK | OWL2.XMLKeywords |
| dataToMyData | Common.Data |
| DataType | OWL2.AS |
| Datatype | |
| 1 (Type/Class) | Isabelle.IsaExport |
| 2 (Data Constructor) | Isabelle.IsaExport |
| 3 (Type/Class) | Isabelle.IsaSign |
| 4 (Data Constructor) | Isabelle.IsaSign |
| 5 (Data Constructor) | OWL2.AS |
| 6 (Type/Class) | OWL2.AS |
| 7 (Type/Class) | CSMOF.As |
| 8 (Data Constructor) | CSMOF.As |
| 9 (Data Constructor) | HasCASL.As |
| dataType | OWL2.Profiles |
| datatype | |
| 1 (Function) | OWL2.Sublogic |
| 2 (Function) | CASL.SortItem |
| DatatypeBit | OWL2.MS |
| datatypeBit | OWL2.ManchesterParser |
| datatypeC | OWL2.ColonKeywords |
| DatatypeCat | OWL2.AS |
| DatatypeConstructor | |
| 1 (Type/Class) | Isabelle.IsaSign |
| 2 (Data Constructor) | Isabelle.IsaSign |
| datatypeConstructors | Isabelle.IsaSign |
| DatatypeDecl | |
| 1 (Type/Class) | HasCASL.As |
| 2 (Data Constructor) | HasCASL.As |
| datatypeDefinitionK | OWL2.XMLKeywords |
| DatatypeDefn | HasCASL.Le |
| DatatypeFacet | OWL2.Keywords |
| datatypeK | OWL2.XMLKeywords |
| datatypeKeys | OWL2.Keywords |
| DataTypeKind | CSMOF.Sign |
| datatypeMixfix | Isabelle.IsaSign |
| datatypeName | |
| 1 (Function) | Isabelle.IsaExport |
| 2 (Function) | Isabelle.IsaSign |
| DatatypeNoConstructor | Isabelle.IsaSign |
| DataTypeOrClass | CSMOF.As |
| datatypeRestrictionK | OWL2.XMLKeywords |
| Datatypes | |
| 1 (Type/Class) | Isabelle.IsaExport |
| 2 (Data Constructor) | Isabelle.IsaExport |
| 3 (Data Constructor) | Isabelle.IsaSign |
| datatypeS | Isabelle.IsaConsts |
| datatypes | OWL2.Sign |
| DatatypeSen | HasCASL.Le |
| datatypesF | Isabelle.IsaParse |
| datatypeToFreetype | CASL.Parse_AS_Basic |
| datatypeTVars | Isabelle.IsaSign |
| datatypeUri | OWL2.Parse |
| Datatype_Attrs | |
| 1 (Type/Class) | Isabelle.IsaExport |
| 2 (Data Constructor) | Isabelle.IsaExport |
| DATATYPE_DECL | CASL.AS_Basic_CASL |
| Datatype_decl | CASL.AS_Basic_CASL |
| Datatype_items | CASL.AS_Basic_CASL |
| dataUnionOfK | OWL2.XMLKeywords |
| DataValuesFrom | OWL2.AS |
| data_logic | Logic.Logic |
| date | SoftFOL.Sign |
| dateTimeS | OWL2.Keywords |
| dateTimeStampS | OWL2.Keywords |
| DaVinciArc | GUI.UDGUtils |
| DaVinciArcType | GUI.UDGUtils |
| DaVinciArcTypeParms | GUI.UDGUtils |
| DaVinciGraph | GUI.UDGUtils |
| DaVinciGraphParms | GUI.UDGUtils |
| DaVinciGraphTypeSyn | GUI.GraphTypes |
| DaVinciNode | GUI.UDGUtils |
| DaVinciNodeType | GUI.UDGUtils |
| DaVinciNodeTypeParms | GUI.UDGUtils |
| daVinciSort | GUI.UDGUtils |
| daVinciVersion | GUI.UDGUtils |
| DA_Distinct_Object | THF.As |
| DA_Number | THF.As |
| DbgData | Common.SAX |
| DClass | CSMOF.As |
| DDataType | CSMOF.As |
| DDomain | OWL2.Sign |
| Deactivate | GUI.HTkUtils |
| deactivateGraphWindow | |
| 1 (Function) | Taxonomy.AbstractGraphView |
| 2 (Function) | GUI.GraphAbstraction |
| Debug | Common.Result |
| debug | Common.Result |
| debugS | Common.SAX |
| debugS' | Common.SAX |
| Dec | Haskell.HatParser |
| decEscape | Common.Lexer |
| decimal | CASL_DL.PredefinedCASLAxioms |
| decimalLit | OWL2.Parse |
| decimalS | OWL2.Keywords |
| DECL | DFOL.AS_DFOL |
| Decl | LF.AS |
| Declaration | OWL2.MS |
| declarationK | OWL2.XMLKeywords |
| declarationList | SoftFOL.Sign |
| declaredSymbols | CASL.Sign |
| declareS | Isabelle.IsaConsts |
| DecLit | |
| 1 (Type/Class) | OWL2.AS |
| 2 (Data Constructor) | OWL2.AS |
| DeclProp | Adl.Sign |
| declSymbs | HasCASL.Le |
| declVar | GUI.HTkUtils |
| declVarList | GUI.HTkUtils |
| declWords | VSE.Parse |
| Decl_item | DFOL.AS_DFOL |
| decnm | Adl.As |
| decOctet | OWL2.Parse |
| decode | Common.Percent |
| decodePlus | PGIP.Query |
| decodeQuery | PGIP.Query |
| decomposeGr | Common.Lib.Graph |
| decomposeIntoGoals | CMDL.Utils |
| decomposeS | CSL.Keywords |
| decToFloat | OWL2.AS |
| ded | LF.Framework |
| deDepOn | Isabelle.IsaConsts |
| deepSearch | Static.XGraph |
| DEF | LF.Sign |
| Def | |
| 1 (Type/Class) | Isabelle.IsaExport |
| 2 (Data Constructor) | Isabelle.IsaExport |
| 3 (Type/Class) | Isabelle.IsaSign |
| 4 (Data Constructor) | Common.Consistency |
| 5 (Data Constructor) | LF.Sign |
| def | GUI.UDGUtils |
| defArgs | Isabelle.IsaExport |
| defaultAllowClose | GUI.UDGUtils |
| defaultCASL2SubCFOL | Comorphisms.CASL2SubCFOL |
| defaultDontKnow | Common.Amalgamate |
| defaultEdgeId | Static.DgUtils |
| defaultEventInfoSet | GUI.HTkUtils |
| defaultFixity | Haskell.HatParser |
| defaultGUIProver | Comorphisms.KnownProvers |
| defaultHetcatsOpts | Driver.Options |
| defaultInclusion | Common.DefaultMorphism |
| defaultLogic | Comorphisms.LogicList |
| DefaultMorphism | Common.DefaultMorphism |
| defaultOps | Haskell.HatParser |
| defaultProofStatus | SoftFOL.MathServMapping |
| DefaultRelation | Syntax.AS_Structured |
| defaultSort | Isabelle.IsaSign |
| DefaultText | Taxonomy.MMiSSOntology |
| Default_correspondence | Syntax.AS_Structured |
| defCalculusS | CASL.CompositionTable.Keywords |
| defci | THF.HasCASL2THF0Buildins |
| defConst | Isabelle.IsaExport |
| defDGLink | Static.DevGraph |
| defDGLinkId | Static.DevGraph |
| DefEquation | |
| 1 (Type/Class) | Isabelle.IsaSign |
| 2 (Data Constructor) | Isabelle.IsaSign |
| defEquationArgs | Isabelle.IsaSign |
| defEquationConst | Isabelle.IsaSign |
| defEquationConstType | Isabelle.IsaSign |
| defEquationName | Isabelle.IsaSign |
| defEquationTerm | Isabelle.IsaSign |
| Defer | Isabelle.IsaSign |
| deferS | Isabelle.IsaConsts |
| defFS | THF.HasCASL2THF0Buildins |
| defId | HasCASL.Builtin |
| defined | Comorphisms.CASL2SubCFOL |
| DefinedAtom | THF.As |
| DefinedComment | THF.As |
| DefinedFunctor | THF.As |
| DefinedNames | Haskell.HatParser |
| Definedness | CASL.AS_Basic_CASL |
| DefinedPlainFormula | THF.As |
| DefinedPlainTerm | THF.As |
| DefinedPred | THF.As |
| DefinedProp | THF.As |
| DefinedTerm | THF.As |
| DefinedType | THF.As |
| definedType | Haskell.HatParser |
| Defined_Comment_Block | THF.As |
| Defined_Comment_Line | THF.As |
| defineS | CSL.Keywords |
| Definition | |
| 1 (Type/Class) | Isabelle.IsaExport |
| 2 (Data Constructor) | Isabelle.IsaExport |
| 3 (Data Constructor) | Isabelle.IsaSign |
| 4 (Type/Class) | OMDoc.OMDocInterface |
| 5 (Data Constructor) | OMDoc.OMDocInterface |
| 6 (Data Constructor) | THF.As |
| 7 (Data Constructor) | SoftFOL.Sign |
| 8 (Data Constructor) | HasCASL.Le |
| definition2exp | LF.Twelf2GR |
| Definitional | LF.Morphism |
| definitionCMPs | OMDoc.OMDocInterface |
| definitionFMPs | OMDoc.OMDocInterface |
| definitionId | OMDoc.OMDocInterface |
| definitionMixfix | Isabelle.IsaSign |
| definitionName | |
| 1 (Function) | Isabelle.IsaExport |
| 2 (Function) | Isabelle.IsaSign |
| definitionQN | LF.Twelf2GR |
| definitionS | Isabelle.IsaConsts |
| definitions | Isabelle.IsaSign |
| definitionTarget | |
| 1 (Function) | Isabelle.IsaExport |
| 2 (Function) | Isabelle.IsaSign |
| definitionTerm | Isabelle.IsaSign |
| definitionType | Isabelle.IsaSign |
| definitionVars | Isabelle.IsaSign |
| Definition_Attrs | |
| 1 (Type/Class) | Isabelle.IsaExport |
| 2 (Data Constructor) | Isabelle.IsaExport |
| DefLink | Static.DgUtils |
| defLogic | Driver.Options |
| defLogicIsDMU | Driver.Options |
| DefMorExt | |
| 1 (Type/Class) | CASL.Morphism |
| 2 (Data Constructor) | CASL.Morphism |
| defn | Common.Doc |
| defName | Isabelle.IsaExport |
| defnS | |
| 1 (Function) | CSL.Keywords |
| 2 (Function) | Common.Keywords |
| 3 (Function) | THF.HasCASL2THF0Buildins |
| defOp | Isabelle.IsaConsts |
| defOpS | Isabelle.IsaConsts |
| defPred | Comorphisms.CASL2SubCFOL |
| Defproc | |
| 1 (Type/Class) | VSE.As |
| 2 (Data Constructor) | VSE.As |
| defproc | VSE.Parse |
| Defprocs | VSE.As |
| defprocToSExpr | VSE.ToSExpr |
| DefRel | Logic.Logic |
| Defs | |
| 1 (Type/Class) | Isabelle.IsaExport |
| 2 (Data Constructor) | Isabelle.IsaExport |
| 3 (Type/Class) | Isabelle.IsaSign |
| 4 (Data Constructor) | Isabelle.IsaSign |
| defS | |
| 1 (Function) | CSL.Keywords |
| 2 (Function) | Common.Keywords |
| defs | Isabelle.IsaSign |
| defsEquations | Isabelle.IsaSign |
| defsOverloaded | |
| 1 (Function) | Isabelle.IsaExport |
| 2 (Function) | Isabelle.IsaSign |
| defsS | Isabelle.IsaConsts |
| defsUnchecked | |
| 1 (Function) | Isabelle.IsaExport |
| 2 (Function) | Isabelle.IsaSign |
| defSyntax | Driver.Options |
| Defs_Attrs | |
| 1 (Type/Class) | Isabelle.IsaExport |
| 2 (Data Constructor) | Isabelle.IsaExport |
| defType | HasCASL.Builtin |
| defVar | Comorphisms.CASL2SubCFOL |
| defVards | Comorphisms.CASL2SubCFOL |
| defVars | Comorphisms.CASL2SubCFOL |
| Def_Attrs | |
| 1 (Type/Class) | Isabelle.IsaExport |
| 2 (Data Constructor) | Isabelle.IsaExport |
| degS | CSL.Keywords |
| Deiconified | GUI.HTkUtils |
| deiconify | GUI.HTkUtils |
| delAx | Static.DgUtils |
| delAxMod | Static.DgUtils |
| delayWish | GUI.HTkUtils |
| delBuiltins | Fpl.Sign |
| delEdgeId | Static.DgUtils |
| delete | |
| 1 (Function) | Common.InjMap |
| 2 (Function) | Common.Lib.MapSet |
| 3 (Function) | Common.Lib.Rel |
| deleteA | Common.InjMap |
| DeleteArc | GUI.UDGUtils |
| deleteArc | GUI.UDGUtils |
| deleteArcPrim | GUI.UDGUtils |
| deleteB | Common.InjMap |
| DeleteEdge | Static.DevGraph |
| deleteHiddenSymbols | Static.FromXmlUtils |
| deleteKey | Common.Lib.Rel |
| deleteLinks | Static.XSimplePath |
| DeleteNode | |
| 1 (Type/Class) | GUI.UDGUtils |
| 2 (Data Constructor) | Static.DevGraph |
| deleteNode | GUI.UDGUtils |
| deleteNodePrim | GUI.UDGUtils |
| deleteNodes | Static.XSimplePath |
| deleteQuery | Common.IRI |
| deleteRelated | Maude.PreComorphism |
| deleteText | GUI.HTkUtils |
| deleteTextRange | GUI.HTkUtils |
| deleteUniversal | Maude.PreComorphism |
| deleteVMap | CASL.Utils |
| delEventInfoSet | GUI.HTkUtils |
| delExtension | CMDL.Utils |
| delimitString | GUI.HTkUtils |
| delLEdge | Common.Lib.Graph |
| delLEdgeDG | Static.DevGraph |
| dellink | Taxonomy.AbstractGraphView |
| delLNode | Common.Lib.Graph |
| delnode | Taxonomy.AbstractGraphView |
| delNodeDG | Static.DevGraph |
| delNodesDG | Static.DevGraph |
| delPreDefs | HasCASL.PrintLe |
| delSenMod | Static.DgUtils |
| delSet | Common.Lib.Rel |
| delSym | Static.DgUtils |
| delSymMod | Static.DgUtils |
| Delta | Driver.Options |
| delTh | Static.DgUtils |
| delThMod | Static.DgUtils |
| delTopic | OWL2.ManchesterPrint |
| demoS | CSL.Keywords |
| denS | CSL.Keywords |
| dependentLibs | Static.DevGraph |
| dependentSyms | HasCASL.Symbol |
| dependS | CSL.Keywords |
| depQBFProver | QBF.ProveDepQBF |
| deprecated | OWL2.Keywords |
| depSort | Common.Lib.Rel |
| derives | Comorphisms.HasCASL2Haskell |
| derivingS | Common.Keywords |
| desc | SoftFOL.Sign |
| Descendant | Common.XPath |
| descOrSelfStep | Common.XPath |
| Descr | Taxonomy.AbstractGraphView |
| describeChangeCmd | Interfaces.Command |
| describeCmd | Interfaces.Command |
| describeGlobCmd | Interfaces.Command |
| describeSelectCmd | Interfaces.Command |
| description | |
| 1 (Function) | OWL2.Parse |
| 2 (Function) | SoftFOL.Sign |
| 3 (Function) | Logic.Logic |
| descriptionAnnotatedList | OWL2.ManchesterParser |
| DesKind | OWL2.Sign |
| destAbs | HolLight.Helper |
| destBinary | HolLight.Helper |
| destBinary' | HolLight.Helper |
| destBinder | HolLight.Helper |
| destClause | HolLight.Helper |
| destClauses | HolLight.Helper |
| destComb | HolLight.Helper |
| destCons | HolLight.Helper |
| destConst | HolLight.Helper |
| destExists | HolLight.Helper |
| destForall | HolLight.Helper |
| destFunTy | HolLight.Helper |
| destGabs | HolLight.Helper |
| destLet | HolLight.Helper |
| destList | HolLight.Helper |
| destNumeral | HolLight.Helper |
| Destroy | GUI.HTkUtils |
| destroy | GUI.HTkUtils |
| Destroyable | GUI.HTkUtils |
| destroyed | GUI.HTkUtils |
| destroyTooltip | GUI.HTkUtils |
| Destructible | GUI.HTkUtils |
| destType | HolLight.Helper |
| destVar | HolLight.Helper |
| destVartype | HolLight.Helper |
| detS | CSL.Keywords |
| DfgFile | Driver.Options |
| DFOL | |
| 1 (Type/Class) | DFOL.Logic_DFOL |
| 2 (Data Constructor) | DFOL.Logic_DFOL |
| DFOL2CASL | |
| 1 (Type/Class) | Comorphisms.DFOL2CASL |
| 2 (Data Constructor) | Comorphisms.DFOL2CASL |
| DF_HTML | Common.AS_Annotation |
| DF_LATEX | Common.AS_Annotation |
| DF_RTF | Common.AS_Annotation |
| DGAlignment | Static.DevGraph |
| DGBasic | Static.DevGraph |
| DGBasicSpec | Static.DevGraph |
| dgBody | Static.DevGraph |
| DGChange | Static.DevGraph |
| DGClosed | Static.DevGraph |
| DgCommandChange | Interfaces.DataTypes |
| DGData | Static.DevGraph |
| DGEdgeType | |
| 1 (Type/Class) | Static.DgUtils |
| 2 (Data Constructor) | Static.DgUtils |
| DGEdgeTypeModInc | Static.DgUtils |
| DGEmpty | Static.DevGraph |
| DGExtension | Static.DevGraph |
| DGFitSpec | Static.DevGraph |
| DGFitView | Static.DevGraph |
| dgFlatDUnions | Proofs.DGFlattening |
| dgFlatHeterogen | Proofs.DGFlattening |
| dgFlatHiding | Proofs.DGFlattening |
| dgFlatImports | Proofs.DGFlattening |
| dgFlatRenamings | Proofs.DGFlattening |
| DGFlattening | Static.DevGraph |
| DGFormalParams | Static.DevGraph |
| DGFreeOrCofree | Static.DevGraph |
| DGImpliesLink | Static.DevGraph |
| DGImports | Static.DevGraph |
| DGInst | Static.DevGraph |
| DGintegratedSCC | Static.DevGraph |
| DGLink | Static.DevGraph |
| DGLinkAlign | Static.DevGraph |
| DGLinkClosedLenv | Static.DevGraph |
| DGLinkExtension | Static.DevGraph |
| DGLinkFitView | Static.DevGraph |
| DGLinkFitViewImp | Static.DevGraph |
| DGLinkFlatteningRename | Static.DevGraph |
| DGLinkFlatteningUnion | Static.DevGraph |
| DGLinkImports | Static.DevGraph |
| DGLinkInst | Static.DevGraph |
| DGLinkInstArg | Static.DevGraph |
| DGLinkLab | Static.DevGraph |
| DGLinkMorph | Static.DevGraph |
| DGLinkOrigin | Static.DevGraph |
| dgLinkOriginHeader | Static.PrintDevGraph |
| dgLinkOriginSpec | Static.PrintDevGraph |
| DGLinkProof | Static.DevGraph |
| DGLinkRefinement | Static.DevGraph |
| DGLinkTranslation | Static.DevGraph |
| DGLinkType | Static.DevGraph |
| DGLinkVerif | Static.DevGraph |
| DGLinkView | Static.DevGraph |
| dglName | Static.DevGraph |
| DGLocal | Static.DevGraph |
| DGLogicCoercion | Static.DevGraph |
| DGLogicQual | Static.DevGraph |
| dglPending | Static.DevGraph |
| dgl_id | Static.DevGraph |
| dgl_morphism | Static.DevGraph |
| dgl_origin | Static.DevGraph |
| dgl_type | Static.DevGraph |
| DGNode | Static.DevGraph |
| DGNodeInfo | Static.DevGraph |
| DGNodeLab | |
| 1 (Type/Class) | Static.DevGraph |
| 2 (Data Constructor) | Static.DevGraph |
| DGNodeType | |
| 1 (Type/Class) | Static.DgUtils |
| 2 (Data Constructor) | Static.DgUtils |
| DGNormalForm | Static.DevGraph |
| dgn_freenf | Static.DevGraph |
| dgn_libname | Static.DevGraph |
| dgn_lock | Static.DevGraph |
| dgn_name | Static.DevGraph |
| dgn_nf | Static.DevGraph |
| dgn_node | Static.DevGraph |
| dgn_origin | Static.DevGraph |
| dgn_phi | Static.DevGraph |
| dgn_sigma | Static.DevGraph |
| dgn_sign | Static.DevGraph |
| dgn_symbolpathlist | Static.DevGraph |
| dgn_theory | Static.DevGraph |
| DGOrigin | Static.DevGraph |
| dgOriginHeader | Static.PrintDevGraph |
| dgOriginSpec | Static.PrintDevGraph |
| DGProof | Static.DevGraph |
| DGQuery | |
| 1 (Type/Class) | PGIP.Query |
| 2 (Data Constructor) | PGIP.Query |
| dgQuery | PGIP.Query |
| DGraph | |
| 1 (Type/Class) | Static.DevGraph |
| 2 (Data Constructor) | Static.DevGraph |
| dGraph | |
| 1 (Function) | Static.ToJson |
| 2 (Function) | Static.ToXml |
| DGRef | Static.DevGraph |
| DGRestriction | Static.DevGraph |
| DGRevealTranslation | Static.DevGraph |
| DGRule | |
| 1 (Type/Class) | Static.DgUtils |
| 2 (Data Constructor) | Static.DgUtils |
| dgRuleEdges | Static.PrintDevGraph |
| dgRuleHeader | Static.PrintDevGraph |
| DGRuleLocalInference | Static.DgUtils |
| DGRuleWithEdge | Static.DgUtils |
| dgSymbols | |
| 1 (Function) | Static.ToJson |
| 2 (Function) | Static.ToXml |
| DGTest | Static.DevGraph |
| DGTranslation | Static.DevGraph |
| DGUnion | Static.DevGraph |
| DgXml | Driver.Options |
| dgXUpdate | Static.ApplyChanges |
| dgXUpdateMods | Static.ApplyChanges |
| dg_translation | Static.DGTranslation |
| DI | Haskell.HatParser |
| Dia | TopHybrid.AS_TopHybrid |
| Diag | |
| 1 (Data Constructor) | Common.Result |
| 2 (Type/Class) | Static.DevGraph |
| diagDesc | Static.ArchDiagram |
| diagGraph | Static.DevGraph |
| DiagKind | Common.Result |
| diagKind | Common.Result |
| DiagLink | Static.DevGraph |
| DiagLinkLab | Static.DevGraph |
| DIAGN | DFOL.Utils |
| Diagn | DFOL.Utils |
| DiagNode | Static.DevGraph |
| DiagNodeLab | Static.DevGraph |
| DiagNodeSig | Static.ArchDiagram |
| Diagnosis | Common.Result |
| diagPos | Common.Result |
| Diagram | Static.DevGraph |
| diags | |
| 1 (Function) | Common.Result |
| 2 (Function) | DFOL.Utils |
| diagString | Common.Result |
| Diag_node_sig | Static.ArchDiagram |
| Diamond | |
| 1 (Data Constructor) | ExtModal.AS_ExtModal |
| 2 (Data Constructor) | VSE.As |
| diamondCross | GUI.HTkUtils |
| diamondS | Common.Keywords |
| diff | THF.Sign |
| diffAss | HasCASL.AsToLe |
| diffCASL_DLSign | CASL_DL.Sign |
| diffClass | HasCASL.PrintLe |
| diffClassMap | HasCASL.PrintLe |
| diffCoCASLSign | CoCASL.CoCASLSign |
| diffCOLSign | COL.COLSign |
| diffCspSig | CspCASL.SignCSP |
| diffEModalSign | ExtModal.ExtModalSign |
| diffEnv | HasCASL.AsToLe |
| Difference | THF.As |
| difference | |
| 1 (Function) | Common.Lib.MapSet |
| 2 (Function) | Common.Lib.Rel |
| differenceS | CSL.Keywords |
| Different | OWL2.AS |
| differentFromC | OWL2.ColonKeywords |
| differentIndividualsC | OWL2.ColonKeywords |
| differentIndividualsK | OWL2.XMLKeywords |
| diffFplSign | Fpl.Sign |
| diffHetsTime | Common.Timing |
| diffHybridSign | Hybrid.HybridSign |
| diffKindDiag | HasCASL.ClassAna |
| diffKindString | HasCASL.ClassAna |
| diffMapSet | CASL.Sign |
| diffModalSign | Modal.ModalSign |
| diffOpMapSet | CASL.Sign |
| diffProcs | VSE.As |
| diffSig | |
| 1 (Function) | RDF.Sign |
| 2 (Function) | OWL2.Sign |
| 3 (Function) | CASL.Sign |
| diffSign | Haskell.HatAna |
| diffType | HasCASL.PrintLe |
| diffTypeMap | HasCASL.PrintLe |
| diffVars | CASL.Quantification |
| digits | |
| 1 (Function) | GUI.HTkUtils |
| 2 (Function) | Common.Lexer |
| digitsS | OWL2.Keywords |
| digraph | SoftFOL.EProver |
| dijkstra | |
| 1 (Function) | Common.GraphAlgo |
| 2 (Function) | Static.WACocone |
| dilogS | CSL.Keywords |
| Dir | GUI.UDGUtils |
| directChanMap | CspCASL.SymMapAna |
| DirectColour | GUI.HTkUtils |
| Direction | Static.XSimplePath |
| directProcMap | CspCASL.SymMapAna |
| dirname | Common.Utils |
| Dis | CASL.AS_Basic_CASL |
| disable | GUI.HTkUtils |
| Disabled | GUI.HTkUtils |
| disabledForeground | GUI.HTkUtils |
| disableWids | GUI.HTkUtils |
| disambigSig | CASL.Disambiguate |
| disambigSigExt | CASL.Disambiguate |
| disambiguateName | OWL2.Rename |
| disambiguateSens | Common.ProofUtils |
| disambOverloaded | CASL.Disambiguate |
| disC | OWL2.MS2Ship |
| disconnectCAS | CSL.Reduce_Interface |
| discourseNames | CommonLogic.Sign |
| Discrete | CSL.TreePO |
| Disj | Haskell.HatParser |
| disj | Isabelle.IsaConsts |
| Disjoint | |
| 1 (Data Constructor) | CSL.TreePO |
| 2 (Data Constructor) | OWL2.AS |
| disjointClassesK | OWL2.XMLKeywords |
| DisjointCs | OWL2.ShipSyntax |
| disjointDataPropertiesK | OWL2.XMLKeywords |
| disjointKeys | HasCASL.Morphism |
| disjointObjectPropertiesK | OWL2.XMLKeywords |
| DisjointUnion | Interfaces.Command |
| disjointUnionK | OWL2.XMLKeywords |
| disjointUnionOfC | OWL2.ColonKeywords |
| disjointWithC | OWL2.ColonKeywords |
| disjP | TopHybrid.Parse_AS |
| disjPrec | DFOL.Utils |
| disjunct | CASL.AS_Basic_CASL |
| Disjunction | |
| 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 |
| disjunctRange | CASL.AS_Basic_CASL |
| disjV | Isabelle.IsaConsts |
| Disp | Isabelle.IsaSign |
| Display | GUI.HTkUtils |
| displayClassGraph | Taxonomy.MMiSSOntologyGraph |
| displayConceptGraph | GUI.Taxonomy, GUI.GraphLogic |
| displayGraph | |
| 1 (Function) | GUI.Taxonomy |
| 2 (Function) | Main |
| DisplayMap | Common.GlobalAnnotations |
| DisplayQuery | PGIP.Query |
| displayS | |
| 1 (Function) | CSL.Keywords |
| 2 (Function) | Common.Keywords |
| displaySort | GUI.UDGUtils |
| displaySubsortGraph | GUI.Taxonomy, GUI.GraphLogic |
| displayTheoryWithWarning | |
| 1 (Function) | GUI.GtkUtils |
| 2 (Function) | GUI.Utils |
| 3 (Function) | GUI.HTkUtils |
| displayTheoryWithWarningExt | GUI.GtkUtils |
| displayTypes | PGIP.Query |
| Display_anno | Common.AS_Annotation |
| display_annos | Common.GlobalAnnotations |
| Display_format | Common.AS_Annotation |
| display_format_table | Common.AS_Annotation |
| dispMN | Isabelle.IsaConsts |
| dispNN | Isabelle.IsaConsts |
| Disprove | CMDL.DataTypes |
| disproveAtNode | GUI.GtkDisprove |
| DisproveCurrent | Interfaces.Command |
| Disproved | Logic.Prover |
| disR | OWL2.MS2Ship |
| Disrinct | THF.As |
| disRs | OWL2.MS2Ship |
| Distance | |
| 1 (Data Constructor) | GUI.HTkUtils |
| 2 (Type/Class) | GUI.HTkUtils |
| distance3 | FreeCAD.VecTools |
| distinctOpIds | Comorphisms.HasCASL2Haskell |
| distributeAndOverOr | |
| 1 (Function) | Propositional.Fold |
| 2 (Function) | QBF.Tools |
| distributedOntologyS | Common.Keywords |
| distributeOrOverAnd | |
| 1 (Function) | Propositional.Fold |
| 2 (Function) | QBF.Tools |
| Div | CspCASL.AS_CspCASL_Process |
| divS | |
| 1 (Function) | CSL.Keywords |
| 2 (Function) | CspCASL.CspCASL_Keywords |
| 3 (Function) | Isabelle.IsaConsts |
| divV | Isabelle.IsaConsts |
| DLFORMULA | CASL_DL.Logic_CASL_DL |
| Dlformula | |
| 1 (Type/Class) | VSE.As |
| 2 (Data Constructor) | VSE.As |
| dlFormula | CASL_DL.Parse_AS |
| dlformula | VSE.Parse |
| dlFormulaToSExpr | VSE.ToSExpr |
| DLMor | CASL_DL.Logic_CASL_DL |
| DLSign | CASL_DL.StatAna |
| DL_BASIC_SPEC | CASL_DL.AS_CASL_DL |
| DL_FORMULA | CASL_DL.AS_CASL_DL |
| dl_morphism | Static.DevGraph |
| dl_number | Static.DevGraph |
| DMU | |
| 1 (Type/Class) | DMU.Logic_DMU |
| 2 (Data Constructor) | DMU.Logic_DMU |
| DMU2OWL2 | |
| 1 (Type/Class) | OWL2.DMU2OWL2 |
| 2 (Data Constructor) | OWL2.DMU2OWL2 |
| dnamedS | OWL2.AS |
| dnf | |
| 1 (Function) | Propositional.Fold |
| 2 (Function) | QBF.Tools |
| dn_desc | Static.DevGraph |
| dn_sig | Static.DevGraph |
| Doc | |
| 1 (Type/Class) | Common.Lib.Pretty |
| 2 (Type/Class) | Common.Doc |
| doc2XML | FreeCAD.XMLPrinter |
| Document | FreeCAD.As |
| documentName | RDF.AS |
| doDump | Driver.Options |
| doForm | GUI.HTkUtils |
| doFormList | GUI.HTkUtils |
| doFormMust | GUI.HTkUtils |
| doInContext | GUI.UDGUtils |
| doInContextGeneral | GUI.UDGUtils |
| DOLIn | Driver.Options |
| doLoop | CMDL.ProveConsistency |
| dom | |
| 1 (Function) | Isabelle.IsaConsts |
| 2 (Function) | Logic.Logic |
| Domain | |
| 1 (Type/Class) | Isabelle.IsaExport |
| 2 (Data Constructor) | Isabelle.IsaExport |
| 3 (Type/Class) | Isabelle.IsaSign |
| 4 (Data Constructor) | Isabelle.IsaSign |
| 5 (Type/Class) | QVTR.As |
| 6 (Data Constructor) | QVTR.As |
| 7 (Type/Class) | CSL.AS_BASIC_CSL |
| domain | RelationalScheme.Sign |
| domainC | OWL2.ColonKeywords |
| DomainConstructor | |
| 1 (Type/Class) | Isabelle.IsaExport |
| 2 (Data Constructor) | Isabelle.IsaExport |
| 3 (Type/Class) | Isabelle.IsaSign |
| 4 (Data Constructor) | Isabelle.IsaSign |
| DomainConstructorArg | |
| 1 (Type/Class) | Isabelle.IsaExport |
| 2 (Data Constructor) | Isabelle.IsaExport |
| 3 (Type/Class) | Isabelle.IsaSign |
| 4 (Data Constructor) | Isabelle.IsaSign |
| domainConstructorArgLazy | |
| 1 (Function) | Isabelle.IsaExport |
| 2 (Function) | Isabelle.IsaSign |
| domainConstructorArgName | Isabelle.IsaExport |
| domainConstructorArgs | Isabelle.IsaSign |
| domainConstructorArgSel | Isabelle.IsaSign |
| domainConstructorArgType | Isabelle.IsaSign |
| DomainConstructorArg_Attrs | |
| 1 (Type/Class) | Isabelle.IsaExport |
| 2 (Data Constructor) | Isabelle.IsaExport |
| domainConstructorName | |
| 1 (Function) | Isabelle.IsaExport |
| 2 (Function) | Isabelle.IsaSign |
| domainConstructors | Isabelle.IsaSign |
| domainConstructorType | Isabelle.IsaSign |
| DomainConstructor_Attrs | |
| 1 (Type/Class) | Isabelle.IsaExport |
| 2 (Data Constructor) | Isabelle.IsaExport |
| domainDef | CASL.CCC.TermFormula |
| DomainEntry | Isabelle.IsaSign |
| domainMixfix | Isabelle.IsaSign |
| domainName | |
| 1 (Function) | Isabelle.IsaExport |
| 2 (Function) | Isabelle.IsaSign |
| DomainOrRange | |
| 1 (Type/Class) | OWL2.AS |
| 2 (Data Constructor) | OWL2.Sign |
| domainOrRange | OWL2.Parse |
| DomainOrRangeOrFunc | OWL2.Sign |
| Domains | |
| 1 (Type/Class) | Isabelle.IsaExport |
| 2 (Data Constructor) | Isabelle.IsaExport |
| 3 (Data Constructor) | Isabelle.IsaSign |
| domainS | Isabelle.IsaConsts |
| DomainTab | Isabelle.IsaSign |
| domainTab | Isabelle.IsaSign |
| domainTVars | Isabelle.IsaSign |
| Domain_Attrs | |
| 1 (Type/Class) | Isabelle.IsaExport |
| 2 (Data Constructor) | Isabelle.IsaExport |
| domMeta | QVTR.As |
| domModelId | QVTR.As |
| domOfDefaultMorphism | Common.DefaultMorphism |
| domType | QVTR.As |
| domVar | QVTR.As |
| Done | Isabelle.IsaSign |
| done | GUI.HTkUtils |
| doneEvent | GUI.HTkUtils |
| doneS | Isabelle.IsaConsts |
| DontKnow | Common.Amalgamate |
| Dont_translate | CMDL.DataTypes |
| doRequest | GUI.HTkUtils |
| doS | |
| 1 (Function) | CSL.Keywords |
| 2 (Function) | Common.Keywords |
| doShowProofDetails | GUI.HTkProofDetails |
| Dot | Driver.Options |
| dot | |
| 1 (Function) | GUI.HTkUtils |
| 2 (Function) | Common.Doc |
| DotDot | Isabelle.IsaSign |
| dotDot | Isabelle.IsaConsts |
| dotFormulae | CASL.Parse_AS_Basic |
| dotGraph | Static.DotGraph |
| dotS | Common.Keywords |
| dotT | Common.AnnoState |
| Dotted | GUI.UDGUtils |
| Double | |
| 1 (Data Constructor) | GUI.UDGUtils |
| 2 (Data Constructor) | GUI.HTkUtils |
| double | |
| 1 (Function) | Common.Lib.Pretty |
| 2 (Function) | CASL_DL.PredefinedCASLAxioms |
| DoubleBorder | GUI.UDGUtils |
| DoubleClickAction | |
| 1 (Data Constructor) | GUI.UDGUtils |
| 2 (Type/Class) | GUI.UDGUtils |
| doubleFromList | FreeCAD.Brep |
| DoubleLine | Common.Lib.Tabular |
| doubleQuotes | |
| 1 (Function) | Common.Lib.Pretty |
| 2 (Function) | Common.Doc |
| doubleS | OWL2.Keywords |
| doubleSemis | CspCASL.CspCASL_Keywords |
| doubleSlash | Common.XPath |
| downloadExtensions | Driver.Options |
| DownloadItems | Syntax.AS_Library |
| Download_items | Syntax.AS_Library |
| Downset | HasCASL.As |
| Do_translate | CMDL.DataTypes |
| DPF_Defined_Formula | THF.As |
| DPF_Defined_Prop | THF.As |
| DPT_Defined_Constant | THF.As |
| DPT_Defined_Function | THF.As |
| DP_False | THF.As |
| DP_True | THF.As |
| dq | CASL.Kif |
| drapedBox | GUI.HTkUtils |
| DRole | OWL2.Sign |
| drop | Common.Lib.SizedList |
| dropPrefix | Common.Prec |
| dropSpaces | Common.SAX |
| DropTranslation | Interfaces.Command |
| DRRelation | OWL2.AS |
| DS_Inference_Record | THF.As |
| DS_Name | THF.As |
| DTyp | Isabelle.IsaSign |
| DT_Defined_Atom | THF.As |
| DT_Defined_Atomic_Term | THF.As |
| DT_i | THF.As |
| DT_int | THF.As |
| DT_iType | THF.As |
| DT_o | THF.As |
| DT_oType | THF.As |
| DT_rat | THF.As |
| DT_real | THF.As |
| DT_tType | THF.As |
| dummyQName | OWL2.AS |
| dumpConsInclusions | Static.ConsInclusions |
| dumpOpts | Driver.Options |
| duplicateDefEdges | Static.DevGraph |
| dynLogicList | Comorphisms.DynLogicList |