Index - D
| dagger | Common.Doc |
| DagSource | THF.As |
| DAGS_name | TPTP.AS |
| DAGS_record | TPTP.AS |
| DAG_source | TPTP.AS |
| DArg | OWL2.AS |
| Darwin | SoftFOL.ProveDarwin |
| darwin | TPTP.Prover.Darwin |
| darwinCMDLautomaticBatch | SoftFOL.ProveDarwin |
| darwinConsChecker | |
| 1 (Function) | SoftFOL.ProveDarwin |
| 2 (Function) | TPTP.ConsChecker |
| 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 |
| dataAllValuesFromS | OWL2.ASKeywords |
| DataArg | |
| 1 (Data Constructor) | OWL2.AS |
| 2 (Type/Class) | OWL2.AS |
| database | Persistence.DBConfig |
| databaseConfig | Driver.Options |
| databaseConfigFile | Driver.Options |
| databaseContext | Driver.Options |
| databaseDoMigrate | Driver.Options |
| databaseFileVersionId | Driver.Options |
| databaseOutputFile | Driver.Options |
| databaseReanalyze | Driver.Options |
| databaseSubConfigKey | Driver.Options |
| DataBit | OWL2.MS |
| DataCardinality | OWL2.AS |
| DataComplementOf | OWL2.AS |
| dataComplementOfK | OWL2.XMLKeywords |
| dataComplementOfS | OWL2.ASKeywords |
| dataConjunct | |
| 1 (Function) | OWL2.ParseMS |
| 2 (Function) | OWL2.Parse |
| DataEntry | |
| 1 (Type/Class) | HasCASL.Le |
| 2 (Data Constructor) | HasCASL.Le |
| dataExactCardinalityK | OWL2.XMLKeywords |
| dataExactCardinalityS | OWL2.ASKeywords |
| dataFrameSection | OWL2.ParseMS |
| DataFunctional | OWL2.MS |
| DataHasValue | OWL2.AS |
| dataHasValueK | OWL2.XMLKeywords |
| dataHasValueS | OWL2.ASKeywords |
| dataIntersectionOfK | OWL2.XMLKeywords |
| dataIntersectionOfS | OWL2.ASKeywords |
| DataJunction | OWL2.AS |
| dataMaxCardinalityK | OWL2.XMLKeywords |
| dataMaxCardinalityS | OWL2.ASKeywords |
| dataMinCardinalityK | OWL2.XMLKeywords |
| dataMinCardinalityS | OWL2.ASKeywords |
| DataOneOf | OWL2.AS |
| dataOneOfK | OWL2.XMLKeywords |
| dataOneOfS | OWL2.ASKeywords |
| DataPat | |
| 1 (Type/Class) | HasCASL.DataAna |
| 2 (Data Constructor) | HasCASL.DataAna |
| dataPatToType | HasCASL.TypeDecl |
| dataPred | CASL_DL.PredefinedCASLAxioms |
| dataPrimary | |
| 1 (Function) | OWL2.ParseMS |
| 2 (Function) | OWL2.Parse |
| dataProperties | OWL2.Sign |
| DataProperty | |
| 1 (Data Constructor) | OWL2.AS |
| 2 (Type/Class) | OWL2.AS |
| DataPropertyAssertion | OWL2.AS |
| dataPropertyAssertionK | OWL2.XMLKeywords |
| dataPropertyAssertionS | OWL2.ASKeywords |
| DataPropertyAtom | OWL2.AS |
| dataPropertyAtomK | OWL2.XMLKeywords |
| dataPropertyAtomS | OWL2.ASKeywords |
| DataPropertyAxiom | |
| 1 (Type/Class) | OWL2.AS |
| 2 (Data Constructor) | OWL2.AS |
| dataPropertyC | OWL2.ColonKeywords |
| DataPropertyDomain | OWL2.AS |
| dataPropertyDomainK | OWL2.XMLKeywords |
| dataPropertyDomainS | OWL2.ASKeywords |
| dataPropertyExpr | OWL2.ParseMS |
| DataPropertyExpression | OWL2.AS |
| DataPropertyFact | OWL2.MS |
| DataPropertyFrame | OWL2.PrintMS |
| dataPropertyFrame | OWL2.ParseMS |
| dataPropertyK | OWL2.XMLKeywords |
| DataPropertyRange | OWL2.AS |
| dataPropertyRangeK | OWL2.XMLKeywords |
| dataPropertyRangeS | OWL2.ASKeywords |
| dataPropExprAList | OWL2.ParseMS |
| dataPropList | OWL2.XMLKeywords |
| DataPropRange | OWL2.MS |
| DataRange | OWL2.AS |
| dataRange | |
| 1 (Function) | OWL2.ParseMS |
| 2 (Function) | OWL2.Parse |
| DataRangeAtom | OWL2.AS |
| dataRangeAtomK | OWL2.XMLKeywords |
| dataRangeAtomS | OWL2.ASKeywords |
| dataRangeList | OWL2.XMLKeywords |
| dataRangeRestriction | |
| 1 (Function) | OWL2.ParseMS |
| 2 (Function) | OWL2.Parse |
| dATAS | OWL2.Keywords |
| dataS | |
| 1 (Function) | Common.Keywords |
| 2 (Function) | CASL_DL.PredefinedCASLAxioms |
| dataSomeValuesFromK | OWL2.XMLKeywords |
| dataSomeValuesFromS | OWL2.ASKeywords |
| dataToMyData | Common.Data |
| DataType | OWL2.AS |
| Datatype | |
| 1 (Type/Class) | CSMOF.As |
| 2 (Data Constructor) | CSMOF.As |
| 3 (Data Constructor) | HasCASL.As |
| 4 (Type/Class) | Isabelle.IsaExport |
| 5 (Data Constructor) | Isabelle.IsaExport |
| 6 (Type/Class) | Isabelle.IsaSign |
| 7 (Data Constructor) | Isabelle.IsaSign |
| 8 (Data Constructor) | OWL2.AS |
| 9 (Type/Class) | OWL2.AS |
| 10 (Type/Class) | TIP.AbsTIP |
| datatype | |
| 1 (Function) | CASL.SortItem |
| 2 (Function) | OWL2.Sublogic |
| DatatypeBit | OWL2.MS |
| 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 |
| DatatypeDefinition | OWL2.AS |
| datatypeDefinitionK | OWL2.XMLKeywords |
| datatypeDefinitionS | OWL2.ASKeywords |
| DatatypeDefn | HasCASL.Le |
| DatatypeFacet | OWL2.Keywords |
| DatatypeFrame | OWL2.PrintMS |
| datatypeK | OWL2.XMLKeywords |
| datatypeKey | OWL2.ParseMS |
| datatypeKeys | OWL2.Keywords |
| DataTypeKind | CSMOF.Sign |
| datatypeMixfix | Isabelle.IsaSign |
| DatatypeMono | TIP.AbsTIP |
| DatatypeName | |
| 1 (Type/Class) | TIP.AbsTIP |
| 2 (Data Constructor) | TIP.AbsTIP |
| datatypeName | |
| 1 (Function) | Isabelle.IsaExport |
| 2 (Function) | Isabelle.IsaSign |
| DatatypeNoConstructor | Isabelle.IsaSign |
| DataTypeOrClass | CSMOF.As |
| DatatypePoly | TIP.AbsTIP |
| datatypeRestrictionK | OWL2.XMLKeywords |
| datatypeRestrictionS | OWL2.ASKeywords |
| 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 |
| datatypeSigns | CASL_DL.PredefinedCASLAxioms |
| datatypeToFreetype | CASL.Parse_AS_Basic |
| datatypeTVars | Isabelle.IsaSign |
| datatypeUri | |
| 1 (Function) | OWL2.ParseMS |
| 2 (Function) | 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 |
| dataUnionOfS | OWL2.ASKeywords |
| DataValuesFrom | OWL2.AS |
| dataValuesFrom | OWL2.ParseMS |
| DataVar | OWL2.AS |
| dataVariableK | OWL2.XMLKeywords |
| 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 |
| DBConfig | |
| 1 (Type/Class) | Persistence.DBConfig |
| 2 (Data Constructor) | Persistence.DBConfig |
| DBContext | |
| 1 (Type/Class) | Persistence.DBConfig |
| 2 (Data Constructor) | Persistence.DBConfig |
| DbgData | Common.SAX |
| DBMonad | Persistence.Database |
| DbOut | Driver.Options |
| DClass | CSMOF.As |
| DDataType | CSMOF.As |
| DDomain | OWL2.Sign |
| Deactivate | GUI.HTkUtils |
| deactivateGraphWindow | |
| 1 (Function) | Taxonomy.AbstractGraphView |
| 2 (Function) | GUI.GraphAbstraction |
| Debug | |
| 1 (Data Constructor) | Common.Result |
| 2 (Data Constructor) | Persistence.Schema.Enums |
| debug | Common.Result |
| debugS | Common.SAX |
| debugS' | Common.SAX |
| decEscape | Common.Lexer |
| decimal | CASL_DL.PredefinedCASLAxioms |
| decimalLit | |
| 1 (Function) | OWL2.ParseMS |
| 2 (Function) | OWL2.Parse |
| decimalS | OWL2.Keywords |
| DECL | DFOL.AS_DFOL |
| Decl | |
| 1 (Data Constructor) | LF.AS |
| 2 (Type/Class) | TIP.AbsTIP |
| Declaration | |
| 1 (Data Constructor) | OWL2.AS |
| 2 (Data Constructor) | OWL2.MS |
| declarationK | OWL2.XMLKeywords |
| declarationList | SoftFOL.Sign |
| declarations | Static.ToJson |
| DeclarationSection | OWL2.PrintMS |
| DeclareConst | TIP.AbsTIP |
| declareData | TIP.Utils |
| DeclareDatatype | TIP.AbsTIP |
| DeclareDatatypes | TIP.AbsTIP |
| declaredSymbols | CASL.Sign |
| DeclareFun | TIP.AbsTIP |
| declareOp | CASL.ToTIP |
| declarePred | CASL.ToTIP |
| declareS | Isabelle.IsaConsts |
| DeclareSort | TIP.AbsTIP |
| declareSort | CASL.ToTIP |
| 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 (Data Constructor) | Common.Consistency |
| 2 (Type/Class) | Isabelle.IsaExport |
| 3 (Data Constructor) | Isabelle.IsaExport |
| 4 (Type/Class) | Isabelle.IsaSign |
| 5 (Data Constructor) | LF.Sign |
| def | GUI.UDGUtils |
| defArgs | Isabelle.IsaExport |
| Default | TIP.AbsTIP |
| defaultAllowClose | GUI.UDGUtils |
| defaultCASL2SubCFOL | Comorphisms.CASL2SubCFOL |
| defaultConsCheckingOptions | HetsAPI.ProveCommands |
| defaultDontKnow | Common.Amalgamate |
| defaultEdgeId | Static.DgUtils |
| defaultEventInfoSet | GUI.HTkUtils |
| defaultGUIProver | Comorphisms.KnownProvers |
| defaultHetcatsOpts | Driver.Options |
| defaultInclusion | Common.DefaultMorphism |
| defaultLogic | Comorphisms.LogicList |
| DefaultMorphism | Common.DefaultMorphism |
| defaultProofOptions | HetsAPI.ProveCommands |
| defaultProofStatus | SoftFOL.MathServMapping |
| DefaultRelation | Syntax.AS_Structured |
| defaultSort | Isabelle.IsaSign |
| DefaultText | Taxonomy.MMiSSOntology |
| Default_correspondence | Syntax.AS_Structured |
| default_prover | Logic.Logic |
| 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 | |
| 1 (Type/Class) | THF.As |
| 2 (Type/Class) | TPTP.AS |
| DefinedFunctor | THF.As |
| Definedness | CASL.AS_Basic_CASL |
| DefinedPlainFormula | THF.As |
| DefinedPlainTerm | THF.As |
| DefinedPred | THF.As |
| DefinedProp | THF.As |
| DefinedTerm | THF.As |
| DefinedType | THF.As |
| Defined_assignment | TPTP.AS |
| Defined_Comment_Block | THF.As |
| Defined_comment_block | TPTP.AS |
| Defined_Comment_Line | THF.As |
| Defined_comment_line | TPTP.AS |
| Defined_constant | TPTP.AS |
| Defined_functor | TPTP.AS |
| Defined_infix_equality | TPTP.AS |
| Defined_infix_pred | TPTP.AS |
| Defined_predicate | TPTP.AS |
| Defined_proposition | TPTP.AS |
| Defined_term | TPTP.AS |
| Defined_type | TPTP.AS |
| DefineFun | TIP.AbsTIP |
| DefineFunRec | TIP.AbsTIP |
| DefineFunsRec | TIP.AbsTIP |
| defineS | CSL.Keywords |
| Definition | |
| 1 (Data Constructor) | HasCASL.Le |
| 2 (Type/Class) | Isabelle.IsaExport |
| 3 (Data Constructor) | Isabelle.IsaExport |
| 4 (Data Constructor) | Isabelle.IsaSign |
| 5 (Type/Class) | OMDoc.OMDocInterface |
| 6 (Data Constructor) | OMDoc.OMDocInterface |
| 7 (Data Constructor) | SoftFOL.Sign |
| 8 (Data Constructor) | THF.As |
| 9 (Data Constructor) | TPTP.AS |
| 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 |
| 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 |
| depthLimit | Persistence.Reasoning.PremiseSelectionSInE |
| 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.ParseMS |
| 2 (Function) | OWL2.Parse |
| 3 (Function) | PGIP.GraphQL.Result.Language |
| 4 (Function) | PGIP.GraphQL.Result.OMSSimple |
| 5 (Function) | PGIP.GraphQL.Result.OMS |
| 6 (Function) | SoftFOL.Sign |
| 7 (Function) | Logic.Logic |
| descriptionAnnotatedList | OWL2.ParseMS |
| descriptionGraphRuleS | OWL2.ASKeywords |
| descriptionGraphS | OWL2.ASKeywords |
| Description_item | TPTP.AS |
| 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 |
| development | Persistence.DBConfig |
| 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_atomic_defined_word | TPTP.AS |
| DF_HTML | Common.AS_Annotation |
| DF_LATEX | Common.AS_Annotation |
| DF_RTF | Common.AS_Annotation |
| DGAlignment | |
| 1 (Data Constructor) | Persistence.Schema.OMSOrigin |
| 2 (Data Constructor) | Static.DevGraph |
| DGAtom | OWL2.AS |
| DGAxiom | OWL2.AS |
| dgAxiomK | OWL2.XMLKeywords |
| DGBasic | |
| 1 (Data Constructor) | Persistence.Schema.OMSOrigin |
| 2 (Data Constructor) | Static.DevGraph |
| DGBasicSpec | |
| 1 (Data Constructor) | Persistence.Schema.OMSOrigin |
| 2 (Data Constructor) | Static.DevGraph |
| DGBody | OWL2.AS |
| dgBody | Static.DevGraph |
| dgBodyS | OWL2.ASKeywords |
| DGChange | Static.DevGraph |
| DGClassAtom | OWL2.AS |
| dgClassAtomK | OWL2.XMLKeywords |
| DGClosed | |
| 1 (Data Constructor) | Persistence.Schema.OMSOrigin |
| 2 (Data Constructor) | Static.DevGraph |
| DgCommandChange | Interfaces.DataTypes |
| DGData | |
| 1 (Data Constructor) | Persistence.Schema.OMSOrigin |
| 2 (Data Constructor) | Static.DevGraph |
| DGEdgeAssertion | |
| 1 (Type/Class) | OWL2.AS |
| 2 (Data Constructor) | OWL2.AS |
| dgEdgeAssertionK | OWL2.XMLKeywords |
| DGEdges | OWL2.AS |
| dgEdgesK | OWL2.XMLKeywords |
| DGEdgeType | |
| 1 (Type/Class) | Static.DgUtils |
| 2 (Data Constructor) | Static.DgUtils |
| DGEdgeTypeModInc | Static.DgUtils |
| DGEmpty | |
| 1 (Data Constructor) | Persistence.Schema.OMSOrigin |
| 2 (Data Constructor) | Static.DevGraph |
| DGExtension | |
| 1 (Data Constructor) | Persistence.Schema.OMSOrigin |
| 2 (Data Constructor) | Static.DevGraph |
| DGExtract | |
| 1 (Data Constructor) | Persistence.Schema.OMSOrigin |
| 2 (Data Constructor) | Static.DevGraph |
| DGFitSpec | |
| 1 (Data Constructor) | Persistence.Schema.OMSOrigin |
| 2 (Data Constructor) | Static.DevGraph |
| DGFitView | |
| 1 (Data Constructor) | Persistence.Schema.OMSOrigin |
| 2 (Data Constructor) | Static.DevGraph |
| dgFlatDUnions | Proofs.DGFlattening |
| dgFlatHeterogen | Proofs.DGFlattening |
| dgFlatHiding | Proofs.DGFlattening |
| dgFlatImports | Proofs.DGFlattening |
| dgFlatRenamings | Proofs.DGFlattening |
| DGFlattening | |
| 1 (Data Constructor) | Persistence.Schema.OMSOrigin |
| 2 (Data Constructor) | Static.DevGraph |
| DGFormalParams | |
| 1 (Data Constructor) | Persistence.Schema.OMSOrigin |
| 2 (Data Constructor) | Static.DevGraph |
| DGFreeOrCofree | Static.DevGraph |
| DGHead | OWL2.AS |
| dgHeadS | OWL2.ASKeywords |
| DGImpliesLink | |
| 1 (Data Constructor) | Persistence.Schema.MappingOrigin |
| 2 (Data Constructor) | Static.DevGraph |
| DGImports | |
| 1 (Data Constructor) | Persistence.Schema.OMSOrigin |
| 2 (Data Constructor) | Static.DevGraph |
| DGInst | |
| 1 (Data Constructor) | Persistence.Schema.OMSOrigin |
| 2 (Data Constructor) | Static.DevGraph |
| DGintegratedSCC | |
| 1 (Data Constructor) | Persistence.Schema.OMSOrigin |
| 2 (Data Constructor) | Static.DevGraph |
| DGIntersect | |
| 1 (Data Constructor) | Persistence.Schema.OMSOrigin |
| 2 (Data Constructor) | Static.DevGraph |
| DGLibrary | PGIP.GraphQL.Result.DGraph |
| DGLink | Static.DevGraph |
| DGLinkAlign | |
| 1 (Data Constructor) | Persistence.Schema.MappingOrigin |
| 2 (Data Constructor) | Static.DevGraph |
| DGLinkClosedLenv | |
| 1 (Data Constructor) | Persistence.Schema.MappingOrigin |
| 2 (Data Constructor) | Static.DevGraph |
| DGLinkExtension | |
| 1 (Data Constructor) | Persistence.Schema.MappingOrigin |
| 2 (Data Constructor) | Static.DevGraph |
| DGLinkFitView | |
| 1 (Data Constructor) | Persistence.Schema.MappingOrigin |
| 2 (Data Constructor) | Static.DevGraph |
| DGLinkFitViewImp | |
| 1 (Data Constructor) | Persistence.Schema.MappingOrigin |
| 2 (Data Constructor) | Static.DevGraph |
| DGLinkFlatteningRename | |
| 1 (Data Constructor) | Persistence.Schema.MappingOrigin |
| 2 (Data Constructor) | Static.DevGraph |
| DGLinkFlatteningUnion | |
| 1 (Data Constructor) | Persistence.Schema.MappingOrigin |
| 2 (Data Constructor) | Static.DevGraph |
| DGLinkImports | |
| 1 (Data Constructor) | Persistence.Schema.MappingOrigin |
| 2 (Data Constructor) | Static.DevGraph |
| DGLinkInst | |
| 1 (Data Constructor) | Persistence.Schema.MappingOrigin |
| 2 (Data Constructor) | Static.DevGraph |
| DGLinkInstArg | |
| 1 (Data Constructor) | Persistence.Schema.MappingOrigin |
| 2 (Data Constructor) | Static.DevGraph |
| DGLinkIntersect | |
| 1 (Data Constructor) | Persistence.Schema.MappingOrigin |
| 2 (Data Constructor) | Static.DevGraph |
| DGLinkLab | Static.DevGraph |
| DGLinkMorph | |
| 1 (Data Constructor) | Persistence.Schema.MappingOrigin |
| 2 (Data Constructor) | Static.DevGraph |
| DGLinkOrigin | Static.DevGraph |
| dgLinkOriginHeader | Static.PrintDevGraph |
| dgLinkOriginSpec | Static.PrintDevGraph |
| DGLinkProof | |
| 1 (Data Constructor) | Persistence.Schema.MappingOrigin |
| 2 (Data Constructor) | Static.DevGraph |
| DGLinkRefinement | |
| 1 (Data Constructor) | Persistence.Schema.MappingOrigin |
| 2 (Data Constructor) | Static.DevGraph |
| DGLinkTranslation | |
| 1 (Data Constructor) | Persistence.Schema.MappingOrigin |
| 2 (Data Constructor) | Static.DevGraph |
| DGLinkType | Static.DevGraph |
| DGLinkVerif | |
| 1 (Data Constructor) | Persistence.Schema.MappingOrigin |
| 2 (Data Constructor) | Static.DevGraph |
| DGLinkView | |
| 1 (Data Constructor) | Persistence.Schema.MappingOrigin |
| 2 (Data Constructor) | Static.DevGraph |
| dglName | Static.DevGraph |
| DGLocal | |
| 1 (Data Constructor) | Persistence.Schema.OMSOrigin |
| 2 (Data Constructor) | Static.DevGraph |
| DGLogicCoercion | |
| 1 (Data Constructor) | Persistence.Schema.OMSOrigin |
| 2 (Data Constructor) | Static.DevGraph |
| DGLogicQual | |
| 1 (Data Constructor) | Persistence.Schema.OMSOrigin |
| 2 (Data Constructor) | Static.DevGraph |
| dglPending | Static.DevGraph |
| dgl_id | Static.DevGraph |
| dgl_morphism | Static.DevGraph |
| dgl_origin | Static.DevGraph |
| dgl_type | Static.DevGraph |
| DGName | OWL2.AS |
| DGNativeDocument | PGIP.GraphQL.Result.DGraph |
| DGNode | |
| 1 (Type/Class) | OWL2.AS |
| 2 (Data Constructor) | Static.DevGraph |
| DGNodeAssertion | |
| 1 (Type/Class) | OWL2.AS |
| 2 (Data Constructor) | OWL2.AS |
| dgNodeAssertionK | OWL2.XMLKeywords |
| DGNodeInfo | Static.DevGraph |
| DGNodeLab | |
| 1 (Type/Class) | Static.DevGraph |
| 2 (Data Constructor) | Static.DevGraph |
| DGNodes | OWL2.AS |
| dgNodesK | OWL2.XMLKeywords |
| DGNodeType | |
| 1 (Type/Class) | Static.DgUtils |
| 2 (Data Constructor) | Static.DgUtils |
| DGNormalForm | |
| 1 (Data Constructor) | Persistence.Schema.OMSOrigin |
| 2 (Data Constructor) | 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_theory | Static.DevGraph |
| DGObjectPropertyAtom | OWL2.AS |
| dgObjectPropertyAtomK | OWL2.XMLKeywords |
| DGOrigin | Static.DevGraph |
| dgOriginHeader | Static.PrintDevGraph |
| dgOriginSpec | Static.PrintDevGraph |
| DGProof | |
| 1 (Data Constructor) | Persistence.Schema.OMSOrigin |
| 2 (Data Constructor) | Static.DevGraph |
| DGQuery | |
| 1 (Type/Class) | PGIP.Query |
| 2 (Data Constructor) | PGIP.Query |
| dgQuery | PGIP.Query |
| DGraph | |
| 1 (Type/Class) | PGIP.GraphQL.Result.DGraph |
| 2 (Type/Class) | Static.DevGraph |
| 3 (Data Constructor) | Static.DevGraph |
| dGraph | |
| 1 (Function) | Static.ToXml |
| 2 (Function) | Static.ToJson |
| dGraphName | Common.AS_Annotation |
| DGraphResult | PGIP.GraphQL.Result |
| DGRef | Static.DevGraph |
| DGRestriction | |
| 1 (Data Constructor) | Persistence.Schema.OMSOrigin |
| 2 (Data Constructor) | Static.DevGraph |
| DGRevealTranslation | |
| 1 (Data Constructor) | Persistence.Schema.OMSOrigin |
| 2 (Data Constructor) | Static.DevGraph |
| DGRule | |
| 1 (Data Constructor) | OWL2.AS |
| 2 (Type/Class) | Static.DgUtils |
| 3 (Data Constructor) | Static.DgUtils |
| dgRuleEdges | Static.PrintDevGraph |
| dgRuleHeader | Static.PrintDevGraph |
| dgRuleK | OWL2.XMLKeywords |
| DGRuleLocalInference | Static.DgUtils |
| dgRuleS | OWL2.ASKeywords |
| DGRuleWithEdge | Static.DgUtils |
| dgSymbols | |
| 1 (Function) | Static.ToXml |
| 2 (Function) | Static.ToJson |
| DGTest | |
| 1 (Data Constructor) | Persistence.Schema.OMSOrigin |
| 2 (Data Constructor) | Static.DevGraph |
| DGTranslation | |
| 1 (Data Constructor) | Persistence.Schema.OMSOrigin |
| 2 (Data Constructor) | Static.DevGraph |
| 3 (Data Constructor) | PGIP.Query |
| DGUnion | |
| 1 (Data Constructor) | Persistence.Schema.OMSOrigin |
| 2 (Data Constructor) | Static.DevGraph |
| DGVerificationGeneric | |
| 1 (Data Constructor) | Persistence.Schema.OMSOrigin |
| 2 (Data Constructor) | Static.DevGraph |
| DgXml | Driver.Options |
| dgXUpdate | Static.ApplyChanges |
| dgXUpdateMods | Static.ApplyChanges |
| dg_translation | Static.DGTranslation |
| Dia | |
| 1 (Data Constructor) | TPTP.AS |
| 2 (Data Constructor) | 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 | |
| 1 (Type/Class) | Common.Result |
| 2 (Type/Class) | Persistence.Schema |
| 3 (Data Constructor) | Persistence.Schema |
| DiagnosisFileRangeId | Persistence.Schema |
| diagnosisFileRangeId | Persistence.Schema |
| DiagnosisFileVersionId | Persistence.Schema |
| diagnosisFileVersionId | Persistence.Schema |
| DiagnosisId | |
| 1 (Type/Class) | Persistence.Schema |
| 2 (Data Constructor) | Persistence.Schema |
| DiagnosisKey | Persistence.Schema |
| DiagnosisKind | Persistence.Schema |
| diagnosisKind | Persistence.Schema |
| DiagnosisKindType | Persistence.Schema.Enums |
| DiagnosisText | Persistence.Schema |
| diagnosisText | Persistence.Schema |
| 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 |
| Dia_i | TPTP.AS |
| Dia_int | TPTP.AS |
| Dia_P | TPTP.AS |
| 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 | |
| 1 (Data Constructor) | THF.As |
| 2 (Data Constructor) | TPTP.AS |
| difference | |
| 1 (Function) | Common.Lib.MapSet |
| 2 (Function) | Common.Lib.Rel |
| differenceS | CSL.Keywords |
| Different | OWL2.AS |
| differentFromC | OWL2.ColonKeywords |
| differentFromS | OWL2.Keywords |
| DifferentFromSection | OWL2.PrintMS |
| DifferentIndividuals | OWL2.AS |
| DifferentIndividualsAtom | OWL2.AS |
| differentIndividualsAtomK | OWL2.XMLKeywords |
| differentIndividualsAtomS | OWL2.ASKeywords |
| differentIndividualsC | OWL2.ColonKeywords |
| differentIndividualsK | OWL2.XMLKeywords |
| differentIndividualsS | OWL2.ASKeywords |
| DifferentIndividualsSection | OWL2.PrintMS |
| 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) | CASL.Sign |
| 2 (Function) | OWL2.Sign |
| 3 (Function) | RDF.Sign |
| diffType | HasCASL.PrintLe |
| diffTypeMap | HasCASL.PrintLe |
| diffVars | CASL.Quantification |
| difIndsAxiomsToMFDoc | OWL2.PrintMS |
| digits | |
| 1 (Function) | Common.Lexer |
| 2 (Function) | GUI.HTkUtils |
| 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 |
| DirectlyImportsDocuments | OWL2.AS |
| directProcMap | CspCASL.SymMapAna |
| dirname | Common.Utils |
| Dis | CASL.AS_Basic_CASL |
| disable | GUI.HTkUtils |
| disableCertificateVerification | Driver.Options |
| Disabled | GUI.HTkUtils |
| disabledForeground | GUI.HTkUtils |
| disableWids | GUI.HTkUtils |
| disambigSig | CASL.Disambiguate |
| disambigSigExt | CASL.Disambiguate |
| disambiguateName | OWL2.Rename |
| disambiguateSens | Common.ProofUtils |
| disambOverloaded | CASL.Disambiguate |
| disconnectCAS | CSL.Reduce_Interface |
| discourseNames | CommonLogic.Sign |
| Discrete | CSL.TreePO |
| disj | Isabelle.IsaConsts |
| disjClsAxiomsToMFDoc | OWL2.PrintMS |
| disjDataPropsAxiomsToMFDoc | OWL2.PrintMS |
| disjObPropsAxiomsToMFDoc | OWL2.PrintMS |
| Disjoint | |
| 1 (Data Constructor) | CSL.TreePO |
| 2 (Data Constructor) | OWL2.AS |
| DisjointClasses | OWL2.AS |
| disjointClassesC | OWL2.ColonKeywords |
| disjointClassesK | OWL2.XMLKeywords |
| disjointClassesS | OWL2.ASKeywords |
| DisjointClassesSection | OWL2.PrintMS |
| DisjointClassExpression | OWL2.AS |
| DisjointDataProperties | OWL2.AS |
| disjointDataPropertiesK | OWL2.XMLKeywords |
| disjointDataPropertiesS | OWL2.ASKeywords |
| DisjointDataPropertiesSection | OWL2.PrintMS |
| disjointKeys | HasCASL.Morphism |
| DisjointObjectProperties | OWL2.AS |
| disjointObjectPropertiesK | OWL2.XMLKeywords |
| disjointObjectPropertiesS | OWL2.ASKeywords |
| DisjointObjectPropertiesSection | OWL2.PrintMS |
| disjointPropertiesC | OWL2.ColonKeywords |
| DisjointUnion | |
| 1 (Data Constructor) | Interfaces.Command |
| 2 (Data Constructor) | OWL2.AS |
| disjointUnionK | OWL2.XMLKeywords |
| disjointUnionOfC | OWL2.ColonKeywords |
| DisjointUnionOfSection | OWL2.PrintMS |
| disjointUnionS | OWL2.ASKeywords |
| disjointWithC | OWL2.ColonKeywords |
| DisjointWithSection | OWL2.PrintMS |
| 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 (Type/Class) | TPTP.AS |
| 6 (Data Constructor) | TPTP.AS |
| 7 (Data Constructor) | TopHybrid.AS_TopHybrid |
| DisjunctiveNormalForm | Propositional.Sublogic |
| 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 |
| displayName | |
| 1 (Function) | PGIP.GraphQL.Result.Mapping |
| 2 (Function) | PGIP.GraphQL.Result.OMSSimple |
| 3 (Function) | PGIP.GraphQL.Result.NativeDocument |
| 4 (Function) | PGIP.GraphQL.Result.Library |
| 5 (Function) | PGIP.GraphQL.Result.Reasoner |
| 6 (Function) | PGIP.GraphQL.Result.OMS |
| DisplayQuery | PGIP.Query |
| displayS | |
| 1 (Function) | CSL.Keywords |
| 2 (Function) | Common.Keywords |
| displaySort | GUI.UDGUtils |
| displaySubsortGraph | GUI.Taxonomy, GUI.GraphLogic |
| displayTheoryWithWarning | |
| 1 (Function) | GUI.HTkUtils |
| 2 (Function) | GUI.GtkUtils |
| 3 (Function) | GUI.Utils |
| 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 |
| Disrinct | THF.As |
| Distance | |
| 1 (Type/Class) | GUI.HTkUtils |
| 2 (Data Constructor) | GUI.HTkUtils |
| distance3 | FreeCAD.VecTools |
| Distinct | |
| 1 (Data Constructor) | TIP.AbsTIP |
| 2 (Data Constructor) | TPTP.AS |
| Distinct_object | TPTP.AS |
| distributeAndOverOr | |
| 1 (Function) | Propositional.Fold |
| 2 (Function) | QBF.Tools |
| 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 |
| dlS | OWL2.ProfilesAndSublogics |
| DLSafeRule | OWL2.AS |
| dlSafeRuleK | OWL2.XMLKeywords |
| dlSafeRuleS | OWL2.ASKeywords |
| 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 |
| 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 |
| 3 (Type/Class) | TIP.PrintTIP |
| doc | TIP.PrintTIP |
| doc2XML | FreeCAD.XMLPrinter |
| Document | |
| 1 (Type/Class) | FreeCAD.As |
| 2 (Type/Class) | Persistence.Schema |
| 3 (Data Constructor) | Persistence.Schema |
| DocumentDisplayName | Persistence.Schema |
| documentDisplayName | Persistence.Schema |
| DocumentId | |
| 1 (Type/Class) | Persistence.Schema |
| 2 (Data Constructor) | Persistence.Schema |
| DocumentKey | Persistence.Schema |
| DocumentLink | |
| 1 (Type/Class) | PGIP.GraphQL.Result.DocumentLink |
| 2 (Data Constructor) | PGIP.GraphQL.Result.DocumentLink |
| 3 (Type/Class) | Persistence.Schema |
| 4 (Data Constructor) | Persistence.Schema |
| DocumentLinkId | |
| 1 (Type/Class) | Persistence.Schema |
| 2 (Data Constructor) | Persistence.Schema |
| DocumentLinkKey | Persistence.Schema |
| DocumentLinkSourceId | Persistence.Schema |
| documentLinkSourceId | Persistence.Schema |
| documentLinksSource | |
| 1 (Function) | PGIP.GraphQL.Result.NativeDocument |
| 2 (Function) | PGIP.GraphQL.Result.Library |
| documentLinksTarget | |
| 1 (Function) | PGIP.GraphQL.Result.NativeDocument |
| 2 (Function) | PGIP.GraphQL.Result.Library |
| DocumentLinkTargetId | Persistence.Schema |
| documentLinkTargetId | Persistence.Schema |
| documentLinkToResult | PGIP.GraphQL.Resolver.ToResult |
| DocumentLocation | Persistence.Schema |
| documentLocation | Persistence.Schema |
| DocumentName | Persistence.Schema |
| documentName | |
| 1 (Function) | Persistence.Schema |
| 2 (Function) | RDF.AS |
| DocumentVersion | Persistence.Schema |
| documentVersion | Persistence.Schema |
| doDump | Driver.Options |
| doForm | GUI.HTkUtils |
| doFormList | GUI.HTkUtils |
| doFormMust | GUI.HTkUtils |
| doInContext | GUI.UDGUtils |
| doInContextGeneral | GUI.UDGUtils |
| dol | PGIP.Server.Examples |
| dolDelim | Common.Percent |
| DOLIn | Driver.Options |
| dolOnly | Logic.Grothendieck |
| doLoop | CMDL.ProveConsistency |
| dom | |
| 1 (Function) | Isabelle.IsaConsts |
| 2 (Function) | Logic.Logic |
| Domain | |
| 1 (Type/Class) | CSL.AS_BASIC_CSL |
| 2 (Type/Class) | Isabelle.IsaExport |
| 3 (Data Constructor) | Isabelle.IsaExport |
| 4 (Type/Class) | Isabelle.IsaSign |
| 5 (Data Constructor) | Isabelle.IsaSign |
| 6 (Type/Class) | QVTR.As |
| 7 (Data Constructor) | QVTR.As |
| 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 |
| DomainSection | OWL2.PrintMS |
| DomainTab | Isabelle.IsaSign |
| domainTab | Isabelle.IsaSign |
| domainTVars | Isabelle.IsaSign |
| Domain_Attrs | |
| 1 (Type/Class) | Isabelle.IsaExport |
| 2 (Data Constructor) | Isabelle.IsaExport |
| doMigrate | Persistence.DBConfig |
| 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) | Common.Doc |
| 2 (Function) | GUI.HTkUtils |
| dotC | PGIP.Output.Mime |
| 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 (Type/Class) | GUI.UDGUtils |
| 2 (Data Constructor) | 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 |
| dpAxiomsToDoc | OWL2.PrintMS |
| 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 |
| dtAxiomsToDoc | OWL2.PrintMS |
| 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_number | TPTP.AS |
| DT_o | THF.As |
| DT_object | TPTP.AS |
| DT_oType | THF.As |
| DT_rat | THF.As |
| DT_real | THF.As |
| DT_tType | THF.As |
| dualJunctor | CASL.AS_Basic_CASL |
| dualQuant | CASL.Sign |
| dummyIRI | Common.IRI |
| dumpConsInclusions | Static.ConsInclusions |
| dumpOpts | Driver.Options |
| duplicateDefEdges | Static.DevGraph |
| DVar | OWL2.AS |
| dynLogicList | Comorphisms.DynLogicList |