Index - R
| RawAssumption | |
| 1 (Type/Class) | Fitch.Proof |
| 2 (Data Constructor) | Fitch.Proof |
| RawFormula | Fitch.Proof |
| readProof | FOLTest |
| readURI | App.Update |
| Reference | Fitch.Proof |
| regenerateSymbols | Fitch.Verification |
| RegenState | Fitch.Verification |
| removeAt | Util |
| reparse | App.Update |
| reparseProof | App.Update |
| replaceInitialURI | App.Update |
| Resize | App.Model |
| resizeSub | App.Entry |
| rule | ProofSyntax |
| RuleApplication | |
| 1 (Type/Class) | Fitch.Proof |
| 2 (Data Constructor) | Fitch.Proof |
| rules | App.Model |
| rulesFOL | Specification.FOL |
| RuleSpec | |
| 1 (Type/Class) | Specification.Types |
| 2 (Data Constructor) | Specification.Types |
| ruleSpecTex | Specification.Types |
| rulesProp | Specification.Prop |
| runApp | App.Entry |