| ta_finalStates | TPDB.CPF.Proof.Type |
| ta_transitions | TPDB.CPF.Proof.Type |
| 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 | TPDB.Data, TPDB.XTC |
| Theorydecl | TPDB.Data, TPDB.XTC |
| Theory_Declaration | TPDB.Plain.Read |
| times | TPDB.DP.Unify |
| toContents | TPDB.Xml |
| 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.Rule, TPDB.Data, TPDB.XTC |
| total_term_size | TPDB.Data.Attributes |
| tox | TPDB.CPF.Proof.Write, TPDB.CPF.Proof.Xml |
| Transition | |
| 1 (Type/Class) | TPDB.CPF.Proof.Type |
| 2 (Data Constructor) | TPDB.CPF.Proof.Type |
| Transition_Epsilon | TPDB.CPF.Proof.Type |
| Transition_Lhs | TPDB.CPF.Proof.Type |
| transition_lhs | TPDB.CPF.Proof.Type |
| transition_rhs | TPDB.CPF.Proof.Type |
| Transition_Symbol | TPDB.CPF.Proof.Type |
| TreeAutomaton | |
| 1 (Type/Class) | TPDB.CPF.Proof.Type |
| 2 (Data Constructor) | TPDB.CPF.Proof.Type |
| 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 |
| tr_arguments | TPDB.CPF.Proof.Type |
| tr_height | TPDB.CPF.Proof.Type |
| tr_symbol | TPDB.CPF.Proof.Type |
| tupled | TPDB.Pretty |
| Type | TPDB.Data, TPDB.XTC |
| type_ | TPDB.Data, TPDB.XTC |