Index - T
| tcap | TPDB.DP.TCap |
| Term | TPDB.Data.Term, TPDB.Data, TPDB.XTC |
| Termination | TPDB.Data, TPDB.XTC |
| TES | TPDB.Data, TPDB.XTC, TPDB.CPF.Proof.Type |
| text | TPDB.Pretty |
| Theory_Declaration | TPDB.Plain.Read |
| times | TPDB.DP.Unify |
| ToExotic | TPDB.CPF.Proof.Type |
| toExotic | TPDB.CPF.Proof.Type |
| Tool | |
| 1 (Type/Class) | TPDB.CPF.Proof.Type |
| 2 (Data Constructor) | TPDB.CPF.Proof.Type |
| tool | TPDB.CPF.Proof.Type |
| top | TPDB.Data, TPDB.XTC |
| tox | TPDB.CPF.Proof.Write, TPDB.CPF.Proof.Xml |
| Tropical | TPDB.CPF.Proof.Type |
| TRS | TPDB.Data, TPDB.XTC |
| trs | |
| 1 (Function) | TPDB.Data, TPDB.XTC |
| 2 (Function) | TPDB.Plain.Read |
| 3 (Function) | TPDB.CPF.Proof.Type |
| trs2srs | TPDB.Convert |
| TrsInput | TPDB.CPF.Proof.Type |
| trsinput_trs | TPDB.CPF.Proof.Type |
| TrsNonterminationProof | |
| 1 (Type/Class) | TPDB.CPF.Proof.Type |
| 2 (Data Constructor) | TPDB.CPF.Proof.Type |
| TrsNonterminationProofFIXME | TPDB.CPF.Proof.Type |
| TrsTerminationProof | |
| 1 (Type/Class) | TPDB.CPF.Proof.Type |
| 2 (Data Constructor) | TPDB.CPF.Proof.Type |
| trsTerminationProof | TPDB.CPF.Proof.Type |
| Type | TPDB.Data, TPDB.XTC |
| type_ | TPDB.Data, TPDB.XTC |