Index - R
| R | Data.Logic.ATP.Equate, Data.Logic.ATP |
| ramsey | Data.Logic.ATP.PropExamples, Data.Logic.ATP |
| rational | Data.Logic.ATP |
| rawdnf | Data.Logic.ATP.Prop, Data.Logic.ATP |
| rbrace | Data.Logic.ATP |
| rbrack | Data.Logic.ATP |
| reduceDoc | Data.Logic.ATP |
| renamerule | Data.Logic.ATP.Prolog, Data.Logic.ATP |
| render | Data.Logic.ATP |
| renderStyle | Data.Logic.ATP |
| ReportProblem | Data.Logic.ATP |
| ReportStart | Data.Logic.ATP |
| resolution1 | Data.Logic.ATP.Resolution, Data.Logic.ATP |
| resolution2 | Data.Logic.ATP.Resolution, Data.Logic.ATP |
| resolution3 | Data.Logic.ATP.Resolution, Data.Logic.ATP |
| RHS | Data.Logic.ATP.Pretty, Data.Logic.ATP |
| ribbonsPerLine | Data.Logic.ATP |
| rparen | Data.Logic.ATP |
| runRS | Data.Logic.ATP.Lib, Data.Logic.ATP |
| runSkolem | Data.Logic.ATP.Skolem, Data.Logic.ATP |
| runSkolemT | Data.Logic.ATP.Skolem, Data.Logic.ATP |
| runTestText | Data.Logic.ATP |
| runTestTT | Data.Logic.ATP |
| runTestTTAndExit | Data.Logic.ATP |