Index - T
| T | |
| 1 (Data Constructor) | Data.Logic.ATP.Lit |
| 2 (Data Constructor) | Data.Logic.ATP.Prop |
| 3 (Data Constructor) | Data.Logic.ATP.Quantified, Data.Logic.ATP |
| t | Data.Logic.ATP.ParserTests |
| tab | Data.Logic.ATP.Tableaux, Data.Logic.ATP |
| tautology | Data.Logic.ATP.Prop, Data.Logic.ATP |
| Term | Data.Logic.ATP.Term, Data.Logic.ATP |
| term | Data.Logic.ATP.Parser, Data.Logic.ATP |
| TermOf | Data.Logic.ATP.Apply, Data.Logic.ATP, Data.Logic.ATP |
| termval | Data.Logic.ATP.FOL, Data.Logic.ATP |
| Test | Data.Logic.ATP |
| test | Data.Logic.ATP |
| test01 | Data.Logic.ATP.Herbrand, Data.Logic.ATP |
| Testable | Data.Logic.ATP |
| TestCase | Data.Logic.ATP |
| testCaseCount | Data.Logic.ATP |
| testCasePaths | Data.Logic.ATP |
| testDefCNF | Data.Logic.ATP.DefCNF, Data.Logic.ATP |
| testDP | Data.Logic.ATP.DP, Data.Logic.ATP |
| testEqual | Data.Logic.ATP.Equal, Data.Logic.ATP |
| testEquals | Data.Logic.ATP.Pretty, Data.Logic.ATP |
| testFOL | Data.Logic.ATP.FOL, Data.Logic.ATP |
| testHerbrand | Data.Logic.ATP.Herbrand, Data.Logic.ATP |
| TestLabel | Data.Logic.ATP |
| testLib | Data.Logic.ATP.Lib, Data.Logic.ATP |
| TestList | Data.Logic.ATP |
| testMeson | Data.Logic.ATP.Meson, Data.Logic.ATP |
| testParen | Data.Logic.ATP.Pretty, Data.Logic.ATP |
| testParser | Data.Logic.ATP.ParserTests |
| testProlog | Data.Logic.ATP.Prolog, Data.Logic.ATP |
| testProp | Data.Logic.ATP.Prop, Data.Logic.ATP |
| testPropExamples | Data.Logic.ATP.PropExamples, Data.Logic.ATP |
| testResolution | Data.Logic.ATP.Resolution, Data.Logic.ATP |
| testSkolem | Data.Logic.ATP.Skolem, Data.Logic.ATP |
| testTableaux | Data.Logic.ATP.Tableaux, Data.Logic.ATP |
| testTerm | Data.Logic.ATP.Term, Data.Logic.ATP |
| testUnif | Data.Logic.ATP.Unif, Data.Logic.ATP |
| text | Data.Logic.ATP.Pretty, Data.Logic.ATP |
| TextDetails | Data.Logic.ATP |
| time | Data.Logic.ATP.Lib, Data.Logic.ATP |
| timeComputation | Data.Logic.ATP.Lib, Data.Logic.ATP |
| timeMessage | Data.Logic.ATP.Lib, Data.Logic.ATP |
| timeout | Data.Logic.ATP.Lib, Data.Logic.ATP |
| Top | Data.Logic.ATP.Pretty, Data.Logic.ATP |
| toSkolem | Data.Logic.ATP.Skolem, Data.Logic.ATP |
| tried | Data.Logic.ATP |
| trivial | Data.Logic.ATP.Prop, Data.Logic.ATP |
| true | Data.Logic.ATP.Formulas, Data.Logic.ATP |
| trueIds | Data.Logic.ATP.Parser, Data.Logic.ATP |
| trueOps | Data.Logic.ATP.Parser, Data.Logic.ATP |
| TruthTable | |
| 1 (Type/Class) | Data.Logic.ATP.Prop, Data.Logic.ATP |
| 2 (Data Constructor) | Data.Logic.ATP.Prop, Data.Logic.ATP |
| truthTable | Data.Logic.ATP.Prop, Data.Logic.ATP |
| tryApplyD | Data.Logic.ATP.Lib, Data.Logic.ATP |
| tryfind | Data.Logic.ATP.Lib, Data.Logic.ATP |
| tryfindM | Data.Logic.ATP.Lib, Data.Logic.ATP |
| tsubst | Data.Logic.ATP.FOL, Data.Logic.ATP |
| TVarOf | Data.Logic.ATP.Term, Data.Logic.ATP, Data.Logic.ATP |