Index - R
| R | |
| 1 (Data Constructor) | Data.Logic.Types.Harrison.FOL |
| 2 (Data Constructor) | Data.Logic.Types.Harrison.Equal |
| ramsey | Data.Logic.Harrison.PropExamples |
| rawdnf | Data.Logic.Harrison.Prop |
| renamerule | Data.Logic.Harrison.Prolog |
| resolution1 | Data.Logic.Harrison.Resolution |
| resolution2 | Data.Logic.Harrison.Resolution |
| resolution3 | Data.Logic.Harrison.Resolution |
| runNormal | Data.Logic.Normal.Implicative |
| runNormalT | Data.Logic.Normal.Implicative |
| runProver' | Data.Logic.KnowledgeBase |
| runProverT' | Data.Logic.KnowledgeBase |
| runSkolem | Data.Logic.Harrison.Skolem |
| runSkolemT | Data.Logic.Harrison.Skolem |