Index - T
| Term | Theory.Model, Theory |
| termVar | Theory.Model, Theory |
| termVar' | Theory.Model, Theory |
| TermView | Theory.Model, Theory |
| TermView2 | Theory.Model, Theory |
| text | Theory.Text.Pretty |
| TextItem | Theory |
| TF | Theory.Model.Formula, Theory.Model, Theory |
| Theory | |
| 1 (Type/Class) | Theory |
| 2 (Data Constructor) | Theory |
| theoryAxioms | Theory |
| TheoryItem | Theory |
| theoryLemmas | Theory |
| theoryRules | Theory |
| thyCache | Theory |
| thyItems | Theory |
| thyName | Theory |
| thySignature | Theory |
| tmpdir | Theory.Tools.RuleVariants |
| toSignaturePure | Theory.Model.Signature, Theory.Model, Theory |
| toSignatureWithMaude | Theory.Model.Signature, Theory.Model, Theory |
| TraceFound | Theory.Proof, Theory |
| TraceQuantifier | Theory |
| Tracing | Theory.Tools.AbstractInterpretation |
| traverseTerm | Theory.Model, Theory |
| tryProver | Theory.Proof, Theory |
| TypedCaseDist | Theory.Constraint.System, Theory.Constraint.Solver, Theory.Proof, Theory |
| TypingLemma | Theory |