| DATATYPE_DECL | CASL.AS_Basic_CASL |
| DATA_DEFN | CspCASL.AS_CSP_CASL |
| DF_HTML | Common.AS_Annotation, Common.GlobalAnnotations |
| DF_LATEX | Common.AS_Annotation, Common.GlobalAnnotations |
| DF_RTF | Common.AS_Annotation, Common.GlobalAnnotations |
| DGBasic | Static.DevGraph |
| DGChange | Proofs.Proofs |
| DGClosed | Static.DevGraph |
| DGClosedLenv | Static.DevGraph |
| DGCofree | Static.DevGraph |
| DGExtension | Static.DevGraph |
| DGFitSpec | Static.DevGraph |
| DGFitView | Static.DevGraph |
| DGFitViewA | Static.DevGraph |
| DGFitViewAImp | Static.DevGraph |
| DGFitViewImp | Static.DevGraph |
| DGFormalParams | Static.DevGraph |
| DGFree | Static.DevGraph |
| DGHiding | Static.DevGraph |
| DGImports | Static.DevGraph |
| DGLink | Static.DevGraph |
| DGLinkLab | Static.DevGraph |
| DGLinkType | Static.DevGraph |
| DGLocal | Static.DevGraph |
| DGNode | Static.DevGraph |
| DGNodeLab | Static.DevGraph |
| DGOrigin | Static.DevGraph |
| DGProof | Static.DevGraph |
| DGRef | Static.DevGraph |
| DGRevealTranslation | Static.DevGraph |
| DGRevealing | Static.DevGraph |
| DGRule | Proofs.Proofs |
| DGSpecInst | Static.DevGraph |
| DGTranslation | Static.DevGraph |
| DGUnion | Static.DevGraph |
| DGView | Static.DevGraph |
| DGraph | Static.DevGraph |
| DGraphToAGraphEdge | GUI.ConvertDevToAbstractGraph |
| DGraphToAGraphNode | GUI.ConvertDevToAbstractGraph |
| Data | Syntax.AS_Structured |
| Datatype | HasCASL.As |
| DatatypeDecl |
| 1 (Type/Class) | HasCASL.As |
| 2 (Data Constructor) | HasCASL.As |
| DatatypeDefn | HasCASL.Le |
| Datatype_decl | CASL.AS_Basic_CASL |
| Datatype_items | CASL.AS_Basic_CASL |
| Davinci | Options |
| Debug | Common.Result |
| Decomp | Common.Lib.Graph |
| Def | Static.DevGraph |
| DefComp | Proofs.Proofs |
| DefShift | Proofs.Proofs |
| DefToMono | Proofs.Proofs |
| Definedness | CASL.AS_Basic_CASL |
| Definition | HasCASL.Le |
| DeleteEdge | Proofs.Proofs |
| DeleteNode | Proofs.Proofs |
| Descr | GUI.AbstractGraphView |
| Diag | Common.Result |
| DiagKind | Common.Result |
| Diagnosis | Common.Result |
| Diagnostic | Haskell.Hatchet.Diagnostic |
| Diagram | Logic.Logic |
| Direct_link | Syntax.AS_Library |
| Disjunction | CASL.AS_Basic_CASL |
| DisplayMap | Common.GlobalAnnotations |
| Display_anno | Common.AS_Annotation |
| Display_format | Common.AS_Annotation, Common.GlobalAnnotations |
| Disproved | Logic.Prover |
| Doc |
| 1 (Type/Class) | Common.Lib.Pretty |
| 2 (Type/Class) | Haskell.Hatchet.PPrint, Haskell.Hatchet.Pretty |
| Dot | Options |
| DotDot | Haskell.Hatchet.HsLexer |
| DoubleArrow | Haskell.Hatchet.HsLexer |
| DoubleColon | Haskell.Hatchet.HsLexer |
| Download_items | Syntax.AS_Library |
| Downset | HasCASL.As |
| dConScheme | Haskell.Hatchet.TIMonad |
| dataConsEnv | Haskell.Hatchet.DataConsAssump |
| dataDef | HasCASL.ParseItem |
| dataDefn | CspCASL.Parse_hugo |
| dataItem | HasCASL.ParseItem |
| dataItems | HasCASL.ParseItem |
| dataPatToType | HasCASL.TypeDecl |
| dataS | CspCASL.CCKeywords |
| dataT | CspCASL.CCLexer |
| data_logic | Logic.Logic |
| datatype | CASL.SortItem |
| dconsAssumps | Haskell.Hatchet.MultiModule, Haskell.Hatchet.MultiModuleBasics |
| dconstypesTime | Haskell.Hatchet.TIModule |
| debug | Common.Result |
| debugBindGroups | Haskell.Hatchet.DependAnalysis |
| debugDeclBindGroups | Haskell.Hatchet.DeclsDepends |
| debugRenderLatex | Common.PrettyPrint |
| debug_latex_filename | WriteFn |
| decEscape | Common.Lexer |
| defId | HasCASL.MixAna |
| defS | Common.Keywords |
| defType | HasCASL.TypeCheck |
| defaultHetcatsOpts | Options |
| defaultLogic | Comorphisms.LogicGraph |
| defaultMode | Haskell.Hatchet.AHsPretty, Haskell.Hatchet.HsPretty |
| default_latex_line_length | Syntax.Print_HetCASL |
| default_print_conf | Common.GlobalAnnotations |
| defnS | Common.Keywords |
| deg | Common.Lib.Graph |
| deg' | Common.Lib.Graph |
| delEdge | Common.Lib.Graph |
| delEdges | Common.Lib.Graph |
| delFromFM |
| 1 (Function) | Common.Lib.SimpleMap |
| 2 (Function) | Haskell.Hatchet.FiniteMaps |
| delLEdge | Common.Lib.Graph |
| delNode | Common.Lib.Graph |
| delNodes | Common.Lib.Graph |
| delallgraphs | GUI.AbstractGraphView |
| delete |
| 1 (Function) | Common.DFiniteMap |
| 2 (Function) | Common.Lib.Map |
| 3 (Function) | Common.Lib.Set |
| deleteAt | Common.Lib.Map |
| deleteFindMax |
| 1 (Function) | Common.Lib.Map |
| 2 (Function) | Common.Lib.Set |
| deleteFindMin |
| 1 (Function) | Common.Lib.Map |
| 2 (Function) | Common.Lib.Set |
| deleteMax |
| 1 (Function) | Common.Lib.Map |
| 2 (Function) | Common.Lib.Set |
| deleteMin |
| 1 (Function) | Common.Lib.Map |
| 2 (Function) | Common.Lib.Set |
| delgraph | GUI.AbstractGraphView |
| dellink | GUI.AbstractGraphView |
| delnode | GUI.AbstractGraphView |
| derivingS | HasCASL.HToken |
| desugarTidyModule | Haskell.Hatchet.Desugar |
| desugarTime | Haskell.Hatchet.TIModule |
| determineedgetype | GUI.AbstractGraphView |
| dff | Haskell.Hatchet.Digraph |
| dfs | Haskell.Hatchet.Digraph |
| dg2abstrEdge | GUI.ConvertDevToAbstractGraph |
| dg2abstrNode | GUI.ConvertDevToAbstractGraph |
| dgToSpec | Static.DGToSpec |
| dgl_morphism | Static.DevGraph |
| dgl_origin | Static.DevGraph |
| dgl_type | Static.DevGraph |
| dgn_libname | Static.DevGraph |
| dgn_name | Static.DevGraph |
| dgn_node | Static.DevGraph |
| dgn_origin | Static.DevGraph |
| dgn_renamed | Static.DevGraph |
| dgn_sens | Static.DevGraph |
| dgn_sign | Static.DevGraph |
| diagKind | Common.Result |
| diagPos | Common.Result |
| diagString | Common.Result |
| diags | Common.Result |
| diamondS | Common.Keywords |
| diffAss | HasCASL.AsToLe |
| diffClass | HasCASL.AsToLe |
| diffEnv | HasCASL.AsToLe |
| diffFM | Haskell.Hatchet.FiniteMaps |
| diffKindDiag | HasCASL.ClassAna |
| diffMapSet | CASL.Sign |
| diffSig | CASL.Sign |
| diffType | HasCASL.AsToLe |
| difference |
| 1 (Function) | Common.DFiniteMap |
| 2 (Function) | Common.Lib.Map |
| 3 (Function) | Common.Lib.Set |
| differenceWith | Common.Lib.Map |
| differenceWithKey | Common.Lib.Map |
| differentKeys | Common.Lib.Map |
| digit |
| 1 (Function) | Haskell.Hatchet.ParseLib |
| 2 (Function) | Common.Lib.Parsec, Common.Lib.Parsec.Char |
| dirname | Common.Utils |
| disjoint | Common.Lib.Set |
| display_anno | Common.Anno_Parser |
| display_annos | Common.GlobalAnnotations |
| display_format_table | Common.AS_Annotation |
| doDump | Haskell.Hatchet.Utils |
| doIfVerbose | Options |
| doIndent |
| 1 (Function) | Haskell.Hatchet.AHsPretty |
| 2 (Function) | Haskell.Hatchet.HsPretty |
| doToExp | Haskell.Hatchet.Desugar |
| dom | Logic.Logic |
| dotFormulae |
| 1 (Function) | CASL.Parse_AS_Basic |
| 2 (Function) | HasCASL.ParseItem |
| dotS | Common.Keywords |
| dotT | Common.AnnoState |
| double |
| 1 (Function) | Common.Lib.Pretty |
| 2 (Function) | Haskell.Hatchet.PPrint, Haskell.Hatchet.Pretty |
| doubleQuotes |
| 1 (Function) | Common.Lib.Pretty |
| 2 (Function) | Haskell.Hatchet.PPrint, Haskell.Hatchet.Pretty |
| downloadExtensions | Options |
| dropIgnore | Common.Utils |
| dumpDiagnostic | Haskell.Hatchet.Diagnostic |
