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 |