| tab | Ideas.Text.Parsing |
| table | Ideas.Text.HTML |
| tableStatus | Ideas.Common.Utils.StringRef |
| Tag | Ideas.Service.Types |
| tag | Ideas.Text.XML |
| Tagged | Ideas.Text.XML.Document |
| tanhSymbol | Ideas.Text.OpenMath.Dictionary.Transc1 |
| tanSymbol | Ideas.Text.OpenMath.Dictionary.Transc1 |
| TCon | Ideas.Common.Rewriting.Term, Ideas.Common.Rewriting, Ideas.Common.Library |
| Term | Ideas.Common.Rewriting.Term, Ideas.Common.Rewriting, Ideas.Common.Library |
| termEquality | Ideas.Common.Rewriting.Confluence |
| termNavigator | Ideas.Common.Context, Ideas.Common.Library |
| terms | Ideas.Common.Derivation, Ideas.Common.Library |
| termView | Ideas.Common.Rewriting.Term, Ideas.Common.Rewriting, Ideas.Common.Library |
| Test | Ideas.Main.Options |
| Testable | Ideas.Common.Utils.QuickCheck |
| testGenerator | Ideas.Common.Exercise, Ideas.Common.Library |
| testIterator | Ideas.Common.Traversal.Tests |
| testNavigator | Ideas.Common.Traversal.Tests |
| tests | |
| 1 (Function) | Ideas.Common.Rewriting.Substitution |
| 2 (Function) | Ideas.Common.Traversal.Tests |
| 3 (Function) | Ideas.Common.Strategy.Tests |
| TestSuite | Ideas.Common.Utils.TestSuite |
| testSuite | Ideas.Service.DomainReasoner |
| TestSuiteResult | Ideas.Common.Utils.TestSuite |
| Text | |
| 1 (Type/Class) | Ideas.Service.FeedbackScript.Syntax |
| 2 (Data Constructor) | Ideas.Service.Types |
| text | |
| 1 (Function) | Ideas.Text.XML, Ideas.Text.HTML |
| 2 (Function) | Ideas.Service.FeedbackText |
| TextDecl | Ideas.Text.XML.Document |
| TextEmpty | Ideas.Service.FeedbackScript.Syntax |
| TextForId | Ideas.Service.FeedbackScript.Syntax |
| textForIdDecl | Ideas.Service.FeedbackScript.Syntax |
| textItems | Ideas.Service.FeedbackScript.Syntax |
| TextRef | Ideas.Service.FeedbackScript.Syntax |
| TextString | Ideas.Service.FeedbackScript.Syntax |
| TextTerm | Ideas.Service.FeedbackScript.Syntax |
| TFloat | Ideas.Common.Rewriting.Term, Ideas.Common.Rewriting, Ideas.Common.Library |
| thd3 | Ideas.Common.Utils |
| timedSeconds | Ideas.Common.Utils |
| timesInverse | Ideas.Common.Algebra.Field |
| timesSymbol | Ideas.Text.OpenMath.Dictionary.Arith1 |
| titleA | Ideas.Text.HTML |
| TList | Ideas.Common.Rewriting.Term, Ideas.Common.Rewriting, Ideas.Common.Library |
| TMeta | Ideas.Common.Rewriting.Term, Ideas.Common.Rewriting, Ideas.Common.Library |
| TNum | Ideas.Common.Rewriting.Term, Ideas.Common.Rewriting, Ideas.Common.Library |
| to | Ideas.Common.View, Ideas.Common.Library |
| toArbGen | Ideas.Common.Utils.QuickCheck |
| toCore | Ideas.Common.Strategy.Abstract |
| toJSON | Ideas.Text.JSON |
| token | Ideas.Text.Parsing |
| tokenPrim | Ideas.Text.Parsing |
| tokenPrimEx | Ideas.Text.Parsing |
| tokens | Ideas.Text.Parsing |
| toLabeled | Ideas.Common.Strategy.Abstract |
| toLabeledStrategy | Ideas.Common.Strategy.Abstract |
| toLocation | Ideas.Common.Traversal.Navigator, Ideas.Common.Library |
| toObject | Ideas.Text.OpenMath.FMP |
| toOMOBJ | Ideas.Encoding.OpenMathSupport |
| toOpenMath | Ideas.Encoding.OpenMathSupport |
| top | Ideas.Common.Traversal.Navigator, Ideas.Common.Library |
| topdown | Ideas.Common.Strategy.Traversal, Ideas.Common.Strategy, Ideas.Common.Library |
| topMessages | Ideas.Common.Utils.TestSuite |
| toStrategy | Ideas.Common.Strategy.Abstract, Ideas.Common.Strategy, Ideas.Common.Library |
| toString | Ideas.Common.Utils.StringRef |
| toTerm | Ideas.Common.Rewriting.Term, Ideas.Common.Rewriting, Ideas.Common.Library |
| toView | Ideas.Common.View, Ideas.Common.Library |
| toXML | Ideas.Text.XML |
| trace | Ideas.Common.Strategy.Parsing |
| Trans | Ideas.Common.Rule.Transformation, Ideas.Common.Rule, Ideas.Common.Library |
| transApply | Ideas.Common.Rule.Transformation, Ideas.Common.Rule, Ideas.Common.Library |
| transApplyWith | Ideas.Common.Rule.Transformation, Ideas.Common.Rule, Ideas.Common.Library |
| transc1List | Ideas.Text.OpenMath.Dictionary.Transc1 |
| transEnvMonad | Ideas.Common.Rule.Transformation, Ideas.Common.Rule, Ideas.Common.Library |
| transform | Ideas.Common.Utils.Uniplate |
| Transformation | Ideas.Common.Rule.Transformation, Ideas.Common.Rule, Ideas.Common.Library |
| transformation | Ideas.Common.Rule.Abstract, Ideas.Common.Rule, Ideas.Common.Library |
| transformM | Ideas.Common.Utils.Uniplate |
| transLiftContext | Ideas.Common.Rule.Transformation, Ideas.Common.Rule, Ideas.Common.Library |
| transLiftContextIn | Ideas.Common.Rule.Transformation, Ideas.Common.Rule, Ideas.Common.Library |
| transLiftView | Ideas.Common.Rule.Transformation, Ideas.Common.Rule, Ideas.Common.Library |
| transLiftViewIn | Ideas.Common.Rule.Transformation, Ideas.Common.Rule, Ideas.Common.Library |
| transList | Ideas.Common.Rule.Transformation, Ideas.Common.Rule, Ideas.Common.Library |
| transMaybe | Ideas.Common.Rule.Transformation, Ideas.Common.Rule, Ideas.Common.Library |
| transPure | Ideas.Common.Rule.Transformation, Ideas.Common.Rule, Ideas.Common.Library |
| transRef | Ideas.Common.Rule.Transformation, Ideas.Common.Rule, Ideas.Common.Library |
| transRewrite | Ideas.Common.Rule.Transformation, Ideas.Common.Rule, Ideas.Common.Library |
| transUseEnvironment | Ideas.Common.Rule.Transformation, Ideas.Common.Rule, Ideas.Common.Library |
| traversalFilter | Ideas.Common.Strategy.Traversal, Ideas.Common.Strategy, Ideas.Common.Library |
| traverse | Ideas.Common.Strategy.Traversal, Ideas.Common.Strategy, Ideas.Common.Library |
| traverseView | Ideas.Common.View, Ideas.Common.Library |
| triples | Ideas.Common.Derivation, Ideas.Common.Library |
| true | Ideas.Common.Algebra.Boolean, Ideas.Common.Predicate, Ideas.Common.Library |
| trueSymbol | Ideas.Text.OpenMath.Dictionary.Logic1 |
| try | |
| 1 (Function) | Ideas.Text.Parsing |
| 2 (Function) | Ideas.Common.Strategy.Combinators, Ideas.Common.Strategy, Ideas.Common.Library |
| tt | Ideas.Text.HTML |
| ttText | Ideas.Text.HTML |
| TVar | Ideas.Common.Rewriting.Term, Ideas.Common.Rewriting, Ideas.Common.Library |
| Type | Ideas.Service.Types |
| Typed | Ideas.Service.Types |
| typed | Ideas.Service.Types |
| typedList | Ideas.Service.Types |
| TypedValue | Ideas.Service.Types |
| typeOf | Ideas.Service.Types |
| TypeRep | Ideas.Service.Types |