Index - D
| Declaration | TPDB.Plain.Read |
| declaration | TPDB.Plain.Read |
| defined | TPDB.DP.Transform, TPDB.DP |
| degree | TPDB.CPF.Proof.Type |
| DepGraphComponent | |
| 1 (Type/Class) | TPDB.CPF.Proof.Type |
| 2 (Data Constructor) | TPDB.CPF.Proof.Type |
| DepGraphProc | TPDB.CPF.Proof.Type |
| depth | TPDB.Data.Term, TPDB.Data, TPDB.XTC |
| DerivationalComplexity | TPDB.CPF.Proof.Type |
| dgcDpProof | TPDB.CPF.Proof.Type |
| dgcDps | TPDB.CPF.Proof.Type |
| dgcRealScc | TPDB.CPF.Proof.Type |
| dimension | TPDB.CPF.Proof.Type |
| displayIO | TPDB.Pretty |
| Doc | TPDB.Pretty |
| doctypedecl | TPDB.Xml.Pretty |
| document | TPDB.Xml.Pretty |
| Domain | TPDB.CPF.Proof.Type |
| domain | TPDB.CPF.Proof.Type |
| dp | TPDB.DP.Transform, TPDB.DP |
| DpProof | TPDB.CPF.Proof.Type |
| DPS | |
| 1 (Type/Class) | TPDB.CPF.Proof.Type |
| 2 (Data Constructor) | TPDB.CPF.Proof.Type |
| DpTrans | TPDB.CPF.Proof.Type |
| dptrans_dpProof | TPDB.CPF.Proof.Type |
| dptrans_dps | TPDB.CPF.Proof.Type |