 | ivor-0.1.11: Theorem proving library based on dependent type theory | Contents | Index |
| A | B | C | D | E | F | G | H | I | K | L | M | N | O | P | Q | R | S | T | U | V | W | > |
| refine | Ivor.TT |
| refineWith | Ivor.TT |
| rename | Ivor.TT |
| replace | Ivor.TT |
| response | Ivor.Shell |
| restore | Ivor.TT |
| resume | Ivor.TT |
| Return | Ivor.ViewTerm, Ivor.TT |
| returnComputation | Ivor.TT |
| returnterm | Ivor.ViewTerm, Ivor.TT |
| returnval | Ivor.TT |
| right | Ivor.Construction |
| Rule | Ivor.TT |
| runShell | Ivor.Shell |