Index - D
| DedFact | Theory.Model.Fact, Theory.Model, Theory |
| dedFactView | Theory.Model.Fact, Theory.Model, Theory |
| dedLogFact | Theory.Model.Fact, Theory.Model, Theory |
| defaultOpenTheory | Theory |
| defaultStyle | Theory.Text.Pretty |
| DelayedMatches | Theory.Model, Theory |
| DestrRule | Theory.Model.Rule, Theory.Model, Theory |
| dhFunSig | Theory.Model, Theory |
| dhIntruderRules | Theory.Tools.IntruderRules |
| dhMaudeSig | Theory.Model, Theory |
| dhReducibleFunSig | Theory.Model, Theory |
| DirTag | Theory.Model.Fact, Theory.Model, Theory |
| Disj | |
| 1 (Data Constructor) | Theory.Constraint.Solver.Reduction, Theory.Constraint.Solver, Theory.Proof, Theory |
| 2 (Type/Class) | Theory.Constraint.Solver.Reduction, Theory.Constraint.Solver, Theory.Proof, Theory |
| DisjG | Theory.Constraint.System.Constraints, Theory.Constraint.System, Theory.Constraint.Solver, Theory.Proof, Theory |
| DnK | Theory.Model.Fact, Theory.Model, Theory |
| Doc | Theory.Text.Pretty |
| Document | Theory.Text.Pretty |
| dom | Theory.Model, Theory |
| domVFresh | Theory.Model, Theory |
| dot | Theory.Text.Parser.Token |
| dotSystemCompact | Theory.Constraint.System.Dot |
| dotSystemLoose | Theory.Constraint.System.Dot |
| double | Theory.Text.Pretty |
| doubleQuoted | Theory.Text.Parser.Token |
| doubleQuotes | Theory.Text.Pretty |
| dropNameHintsBound | Theory.Tools.EquationStore, Theory.Constraint.System, Theory.Constraint.Solver, Theory.Proof, Theory |