Index - T
| Theory | HaskHOL.Core.State.Monad, HaskHOL.Core.State, HaskHOL.Core |
| Thm | HaskHOL.Core.Kernel, HaskHOL.Core |
| thmFrees | HaskHOL.Core.Basics, HaskHOL.Core |
| throwHOL | HaskHOL.Core.State.Monad, HaskHOL.Core.State, HaskHOL.Core |
| tickTermCounter | HaskHOL.Core.State.Monad, HaskHOL.Core.State, HaskHOL.Core |
| tickTypeCounter | HaskHOL.Core.State.Monad, HaskHOL.Core.State, HaskHOL.Core |
| tmEq | HaskHOL.Core.Kernel.Terms, HaskHOL.Core.Kernel, HaskHOL.Core |
| toHTm | HaskHOL.Core.Parser, HaskHOL.Core |
| toHTy | HaskHOL.Core.Parser, HaskHOL.Core |
| tryFind | HaskHOL.Core.Lib, HaskHOL.Core |
| tryFoldr1 | HaskHOL.Core.Lib, HaskHOL.Core |
| tryHead | HaskHOL.Core.Lib, HaskHOL.Core |
| tryIndex | HaskHOL.Core.Lib, HaskHOL.Core |
| tryInit | HaskHOL.Core.Lib, HaskHOL.Core |
| tryLast | HaskHOL.Core.Lib, HaskHOL.Core |
| trySplitAt | HaskHOL.Core.Lib, HaskHOL.Core |
| tryTail | HaskHOL.Core.Lib, HaskHOL.Core |
| tyA | HaskHOL.Core.Kernel.Types, HaskHOL.Core.Kernel, HaskHOL.Core |
| TyAbs | HaskHOL.Core.Kernel.Terms, HaskHOL.Core.Kernel, HaskHOL.Core |
| tyAConv | HaskHOL.Core.Kernel.Types, HaskHOL.Core.Kernel, HaskHOL.Core |
| tyAlphaOrder | HaskHOL.Core.Kernel.Types, HaskHOL.Core.Kernel, HaskHOL.Core |
| TyApp | HaskHOL.Core.Kernel.Types, HaskHOL.Core.Kernel, HaskHOL.Core |
| tyApp | HaskHOL.Core.Kernel.Types, HaskHOL.Core.Kernel, HaskHOL.Core |
| tyB | HaskHOL.Core.Kernel.Types, HaskHOL.Core.Kernel, HaskHOL.Core |
| tyBinders | HaskHOL.Core.Parser, HaskHOL.Core |
| tyBool | HaskHOL.Core.Kernel.Types, HaskHOL.Core.Kernel, HaskHOL.Core |
| TyComb | HaskHOL.Core.Kernel.Terms, HaskHOL.Core.Kernel, HaskHOL.Core |
| tyElab | HaskHOL.Core.Parser, HaskHOL.Core |
| tyOpBool | HaskHOL.Core.Kernel.Types, HaskHOL.Core.Kernel, HaskHOL.Core |
| tyOpFun | HaskHOL.Core.Kernel.Types, HaskHOL.Core.Kernel, HaskHOL.Core |
| typeAbbrevs | HaskHOL.Core.Parser, HaskHOL.Core |
| Typeable | HaskHOL.Core.Lib, HaskHOL.Core |
| typeMatch | HaskHOL.Core.Basics, HaskHOL.Core |
| typeOf | HaskHOL.Core.Kernel.Types, HaskHOL.Core.Kernel, HaskHOL.Core |
| TypeOp | HaskHOL.Core.Kernel.Types, HaskHOL.Core.Kernel, HaskHOL.Core |
| typeOpVars | HaskHOL.Core.Kernel.Types, HaskHOL.Core.Kernel, HaskHOL.Core |
| typeOpVarsInTerm | HaskHOL.Core.Kernel.Terms, HaskHOL.Core.Kernel, HaskHOL.Core |
| typeOpVarsInTerms | HaskHOL.Core.Kernel.Terms, HaskHOL.Core.Kernel, HaskHOL.Core |
| types | HaskHOL.Core.State, HaskHOL.Core |
| TypeSubst | HaskHOL.Core.Kernel.Types, HaskHOL.Core.Kernel, HaskHOL.Core |
| typeSubst | HaskHOL.Core.Kernel.Types, HaskHOL.Core.Kernel, HaskHOL.Core |
| typeSubstFull | HaskHOL.Core.Kernel.Types, HaskHOL.Core.Kernel, HaskHOL.Core |
| typeVarsInTerm | HaskHOL.Core.Kernel.Terms, HaskHOL.Core.Kernel, HaskHOL.Core |
| typeVarsInTerms | HaskHOL.Core.Kernel.Terms, HaskHOL.Core.Kernel, HaskHOL.Core |
| typeVarsInThm | HaskHOL.Core.Basics, HaskHOL.Core |
| tysubst | HaskHOL.Core.Basics, HaskHOL.Core |
| TyVar | HaskHOL.Core.Kernel.Types, HaskHOL.Core.Kernel, HaskHOL.Core |
| tyVars | HaskHOL.Core.Kernel.Types, HaskHOL.Core.Kernel, HaskHOL.Core |