Index - D
| defaultAlignment | Data.Table |
| defaultIsarConf | Text.Isar |
| deleteAgentIdMapping | Scyther.Equalities |
| deleteTIDMapping | Scyther.Equalities |
| depends | Scyther.Proof |
| destExpPat | Scyther.Theory.Parser |
| destLTSPat | Scyther.Theory.Parser |
| destMultIdentityPat | Scyther.Theory.Parser |
| destMultPat | Scyther.Theory.Parser |
| destTypingFormula | Scyther.Formula, Scyther.Facts |
| dfsProof | Scyther.Proof |
| displayChainRule | Scyther.Proof |
| Doc | Text.PrettyPrint.Class, Text.Isar |
| Document | Text.PrettyPrint.Class, Text.Isar |
| DOLLAR | Scyther.Theory.Lexer, Scyther.Theory.Parser |
| DOT | Scyther.Theory.Lexer, Scyther.Theory.Parser |
| Dot | Text.Dot |
| dotProtocol | Scyther.Theory.Dot |
| dotSequentMarked | Scyther.Theory.Dot |
| double | Text.PrettyPrint.Class, Text.Isar |
| doubleQuoted | Scyther.Theory.Parser |
| doubleQuotes | Text.PrettyPrint.Class, Text.Isar |
| DQUOTE | Scyther.Theory.Lexer, Scyther.Theory.Parser |
| DUMMY_KEYWORD | Scyther.Theory.Lexer, Scyther.Theory.Parser |