| DEF | Language.VDM_SL.Syntax |
| DEF_BLOCK_L | Language.VDM_SL.Syntax |
| DEF_BLOCK_S | Language.VDM_SL.Syntax |
| DEF_STAT | Language.VDM_SL.Syntax |
| DINTER | Language.VDM_SL.Syntax |
| DIV | Language.VDM_SL.Syntax |
| DIVIDE | Language.VDM_SL.Syntax |
| DOM | Language.VDM_SL.Syntax |
| DOM_RESTR_BY | Language.VDM_SL.Syntax |
| DOM_RESTR_TO | Language.VDM_SL.Syntax |
| DUNION | Language.VDM_SL.Syntax |
| Data | Data.TermLanguage.AutoTermLanguage |
| Datafile_description |
| 1 (Type/Class) | Language.PLSql.Syntax |
| 2 (Data Constructor) | Language.PLSql.Syntax |
| Datafile_descriptions |
| 1 (Type/Class) | Language.PLSql.Syntax |
| 2 (Data Constructor) | Language.PLSql.Syntax |
| Datatype | Language.PLSql.Syntax |
| Datatype_c1 | Language.PLSql.Syntax |
| Datatype_c10 | Language.PLSql.Syntax |
| Datatype_c11 | Language.PLSql.Syntax |
| Datatype_c12 | Language.PLSql.Syntax |
| Datatype_c13 | Language.PLSql.Syntax |
| Datatype_c14 | Language.PLSql.Syntax |
| Datatype_c2 | Language.PLSql.Syntax |
| Datatype_c3 | Language.PLSql.Syntax |
| Datatype_c4 | Language.PLSql.Syntax |
| Datatype_c5 | Language.PLSql.Syntax |
| Datatype_c6 | Language.PLSql.Syntax |
| Datatype_c7 | Language.PLSql.Syntax |
| Datatype_c8 | Language.PLSql.Syntax |
| Datatype_c9 | Language.PLSql.Syntax |
| Date |
| 1 (Type/Class) | Language.PLSql.Syntax |
| 2 (Data Constructor) | Language.PLSql.Syntax |
| Dblink |
| 1 (Type/Class) | Language.PLSql.Syntax |
| 2 (Data Constructor) | Language.PLSql.Syntax |
| DecimalEscChar | Language.Sdf.SdfLib, Language.Sdf.Syntax |
| DecimalIntegerLiteral |
| 1 (Type/Class) | Language.Java.Syntax |
| 2 (Data Constructor) | Language.Java.Syntax |
| Decl |
| 1 (Type/Class) | Language.ContextFree.Examples.LittleLambda |
| 2 (Data Constructor) | Language.ContextFree.Examples.LittleLambda |
| Declaration | Language.PLSql.Syntax |
| Declaration_c1 | Language.PLSql.Syntax |
| Declaration_c10 | Language.PLSql.Syntax |
| Declaration_c11 | Language.PLSql.Syntax |
| Declaration_c12 | Language.PLSql.Syntax |
| Declaration_c2 | Language.PLSql.Syntax |
| Declaration_c3 | Language.PLSql.Syntax |
| Declaration_c4 | Language.PLSql.Syntax |
| Declaration_c5 | Language.PLSql.Syntax |
| Declaration_c6 | Language.PLSql.Syntax |
| Declaration_c7 | Language.PLSql.Syntax |
| Declaration_c8 | Language.PLSql.Syntax |
| Declaration_c9 | Language.PLSql.Syntax |
| Declaration_init_value |
| 1 (Type/Class) | Language.PLSql.Syntax |
| 2 (Data Constructor) | Language.PLSql.Syntax |
| Declarations |
| 1 (Type/Class) | Language.Java.Declarations |
| 2 (Type/Class) | Language.PLSql.Syntax |
| 3 (Data Constructor) | Language.PLSql.Syntax |
| Declarations_semicolon |
| 1 (Type/Class) | Language.PLSql.Syntax |
| 2 (Data Constructor) | Language.PLSql.Syntax |
| Declare_cursor_statement |
| 1 (Type/Class) | Language.PLSql.Syntax |
| 2 (Data Constructor) | Language.PLSql.Syntax |
| Declare_section |
| 1 (Type/Class) | Language.PLSql.Syntax |
| 2 (Data Constructor) | Language.PLSql.Syntax |
| Decr2 | Language.Java.Syntax |
| Decr3 | Language.Java.Syntax |
| DefaultDecl | PrettyPrint.XML.Dot |
| Default_colon | Language.Java.Syntax |
| Default_expression |
| 1 (Type/Class) | Language.PLSql.Syntax |
| 2 (Data Constructor) | Language.PLSql.Syntax |
| Definition | Language.Sdf.SdfLib, Language.Sdf.Syntax |
| Definition_block | Language.VDM_SL.Syntax |
| Delete | Language.HaLex.DfaMonad |
| Delete_item | Language.PLSql.Syntax |
| Delete_item_c1 | Language.PLSql.Syntax |
| Delete_item_c2 | Language.PLSql.Syntax |
| Delete_item_c3 | Language.PLSql.Syntax |
| Delete_statement |
| 1 (Type/Class) | Language.PLSql.Syntax |
| 2 (Data Constructor) | Language.PLSql.Syntax |
| Dfa |
| 1 (Type/Class) | Language.HaLex.Dfa, Language.Halex |
| 2 (Data Constructor) | Language.HaLex.Dfa, Language.Halex |
| 3 (Type/Class) | Language.HaLex.DfaMonad |
| 4 (Data Constructor) | Language.HaLex.DfaMonad |
| Dim | Language.Java.Syntax |
| DimExpr | Language.Java.Syntax |
| DimExprInitialized | Language.Java.Syntax |
| Dim_dunno_a_0 | Language.Java.Syntax |
| Disable_clause |
| 1 (Type/Class) | Language.PLSql.Syntax |
| 2 (Data Constructor) | Language.PLSql.Syntax |
| Disable_clause_item | Language.PLSql.Syntax |
| Disable_clause_item_c1 | Language.PLSql.Syntax |
| Disable_clause_item_c2 | Language.PLSql.Syntax |
| Disable_clause_item_c3 | Language.PLSql.Syntax |
| Disable_clause_item_c4 | Language.PLSql.Syntax |
| Disable_clause_item_c5 | Language.PLSql.Syntax |
| Discretionary_type | Language.VDM_SL.Syntax |
| DoStatement |
| 1 (Type/Class) | Language.Java.Syntax |
| 2 (Data Constructor) | Language.Java.Syntax |
| Do_while_semicolon | Language.Java.Syntax |
| DocTypeDecl | PrettyPrint.XML.Dot |
| Document |
| 1 (Type/Class) | Language.VDM_SL.Syntax |
| 2 (Type/Class) | PrettyPrint.XML.Dot |
| Dollar | Language.ContextFree.Cfg |
| Dot | PrettyPrint.XML.Dot |
| DotAttributes | Data.Relation.GraphViz |
| DotBody | PrettyPrint.XML.Dot |
| DotStatement | Data.Relation.GraphViz |
| Double | Language.Java.Syntax |
| Drop_database_link_statement |
| 1 (Type/Class) | Language.PLSql.Syntax |
| 2 (Data Constructor) | Language.PLSql.Syntax |
| Drop_function_statement |
| 1 (Type/Class) | Language.PLSql.Syntax |
| 2 (Data Constructor) | Language.PLSql.Syntax |
| Drop_index_statement |
| 1 (Type/Class) | Language.PLSql.Syntax |
| 2 (Data Constructor) | Language.PLSql.Syntax |
| Drop_procedure_statement |
| 1 (Type/Class) | Language.PLSql.Syntax |
| 2 (Data Constructor) | Language.PLSql.Syntax |
| Drop_sequence_statement |
| 1 (Type/Class) | Language.PLSql.Syntax |
| 2 (Data Constructor) | Language.PLSql.Syntax |
| Drop_synonym_statement |
| 1 (Type/Class) | Language.PLSql.Syntax |
| 2 (Data Constructor) | Language.PLSql.Syntax |
| Drop_table_statement |
| 1 (Type/Class) | Language.PLSql.Syntax |
| 2 (Data Constructor) | Language.PLSql.Syntax |
| Drop_trigger_statement |
| 1 (Type/Class) | Language.PLSql.Syntax |
| 2 (Data Constructor) | Language.PLSql.Syntax |
| Drop_view_statement |
| 1 (Type/Class) | Language.PLSql.Syntax |
| 2 (Data Constructor) | Language.PLSql.Syntax |
| Dummy_top_sort | Language.PLSql.Syntax |
| Dummy_top_sort_c1 | Language.PLSql.Syntax |
| Dummy_top_sort_c2 | Language.PLSql.Syntax |
| dataflow | Language.Gnumeric.Dataflow |
| dataflowEdgesCell | Language.Gnumeric.Dataflow |
| dataflowEdgesFormula | Language.Gnumeric.Dataflow |
| dataflowEdgesSheet | Language.Gnumeric.Dataflow |
| dataflowExpanded | Language.Gnumeric.Dataflow |
| deadstates | Language.HaLex.DfaMonad |
| deadstates' | Language.HaLex.DfaMonad |
| debugO | Debug.Observe |
| defaultImportMap | Language.Java.Util |
| delta_realdfa | Language.HaLex.Examples.Real |
| dep | Language.Sdf.Metrics.Structure |
| depth | Data.Relation.MapFromPairs |
| dequote | Language.Sdf.SdfLib |
| description | Data.Metrics |
| dfa2DiGraphWithNoSyncSt | Language.HaLex.FaAsDiGraph, Language.Halex |
| dfa2MIO | Language.HaLex.Dfa2MDfa, Language.Halex |
| dfa2RegExp | Language.HaLex.Fa2RegExp |
| dfa2graphviz | Language.HaLex.FaAsDiGraph, Language.Halex |
| dfa2graphviz2file | Language.HaLex.FaAsDiGraph, Language.Halex |
| dfa2ndfa | Language.HaLex.FaOperations, Language.Halex |
| dfa2tdfa | Language.HaLex.Dfa, Language.Halex |
| dfaDiGraphWithNoSyncStIO | Language.HaLex.FaAsDiGraph, Language.Halex |
| dfaIO | Language.HaLex.Dfa, Language.Halex |
| dfaaccept |
| 1 (Function) | Language.HaLex.Dfa, Language.Halex |
| 2 (Function) | Language.HaLex.DfaMonad |
| dfaaccept' | Language.HaLex.DfaMonad |
| dfadeadstates | Language.HaLex.Dfa, Language.Halex |
| dfaisStDead | Language.HaLex.Dfa, Language.Halex |
| dfawalk |
| 1 (Function) | Language.HaLex.Dfa, Language.Halex |
| 2 (Function) | Language.HaLex.DfaMonad |
| distinguishable | Language.HaLex.Mini |
| distl | Camila.Prelude, Pointless.Isomorphisms |
| distr | Camila.Prelude, Pointless.Isomorphisms |
| doit | Language.Java.CallGraph |
| dom |
| 1 (Function) | Data.Relation.SetOfPairs |
| 2 (Function) | Language.VDM_SL.AuxFuncLib |
| domFM | Camila.Prelude, Data.FiniteMapExtras |
| domS | Data.TermLanguage, Data.TermLanguage.AutoTermLanguage |
| domWith | Data.Relation.SetOfPairs |
| dtinvOff | Camila.Prelude, Camila.State |
| dtinvOn | Camila.Prelude, Camila.State |
| dualConceptLattice | Data.Relation.FormalConceptAnalysis |
| dunion | Camila.Prelude, Data.SetExtras |
