Index - T
| TAC | Data.TPTP |
| TAU | Data.TPTP |
| Tautology | Data.TPTP |
| TCA | Data.TPTP |
| Term | |
| 1 (Data Constructor) | Data.TPTP |
| 2 (Type/Class) | Data.TPTP |
| term | Data.TPTP.Parse.Combinators |
| TFF0 | Data.TPTP |
| TFF1 | Data.TPTP |
| TFF1Sort | |
| 1 (Type/Class) | Data.TPTP |
| 2 (Data Constructor) | Data.TPTP |
| tff1Sort | Data.TPTP.Parse.Combinators |
| TFF1Type | Data.TPTP |
| tff1Type | Data.TPTP |
| TFF_ | Data.TPTP |
| Theorem | Data.TPTP |
| Theory | Data.TPTP |
| THM | Data.TPTP |
| TIn | Data.TPTP |
| TMO | Data.TPTP |
| TMo | Data.TPTP |
| ToInt | Data.TPTP |
| ToRat | Data.TPTP |
| ToReal | Data.TPTP |
| TPI | Data.TPTP |
| TPTP | |
| 1 (Type/Class) | Data.TPTP |
| 2 (Data Constructor) | Data.TPTP |
| tptp | Data.TPTP.Parse.Combinators |
| Truncate | Data.TPTP |
| TSI | Data.TPTP |
| TSM | Data.TPTP |
| TSTP | |
| 1 (Type/Class) | Data.TPTP |
| 2 (Data Constructor) | Data.TPTP |
| tstp | Data.TPTP.Parse.Combinators |
| TYE | Data.TPTP |
| Type | |
| 1 (Type/Class) | Data.TPTP |
| 2 (Data Constructor) | Data.TPTP |
| type_ | Data.TPTP.Parse.Combinators |
| Typing | Data.TPTP |