Index - D
| decide | Logic.Judge.Prover.Tableau |
| delete | Logic.Judge.PointedList |
| deleteLeft | Logic.Judge.PointedList |
| deleteOthers | Logic.Judge.PointedList |
| deleteRight | Logic.Judge.PointedList |
| Disjunction | Logic.Judge.Formula.Datastructure, Logic.Judge.Formula |
| DynamicTerms | Logic.Judge.Prover.Tableau |