Index - T
| tagJudge | |
| 1 (Function) | Lang.Explanation |
| 2 (Function) | Lang.NamedExplanation |
| tagJudge' | |
| 1 (Function) | Lang.Explanation |
| 2 (Function) | Lang.NamedExplanation |
| tagProof | |
| 1 (Function) | Lang.Explanation |
| 2 (Function) | Lang.NamedExplanation |
| TestClassification | Lang.ClassificationInstances |
| testExpr | Lang.Denotation |
| thd | Lang.ClassificationInstances |
| toList | Logic.Proof |
| toList' | Logic.Proof |
| trace | Lang.Operation |
| traceExample | Lang.Evaluation |
| traceExpr | Lang.Evaluation |
| treeMap | Lang.Lang |
| treeMap' | Lang.Lang |