 | 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 | > |
| save | Ivor.TT |
| scope | Ivor.ViewTerm, Ivor.TT |
| scrutinee | Ivor.TT |
| sendCommand | Ivor.Shell |
| sendCommandIO | Ivor.Shell |
| shellParseTerm | Ivor.Shell |
| ShellState | Ivor.Shell |
| showProofState | Ivor.Shell |
| solve | Ivor.TT |
| split | Ivor.Construction |
| Star | Ivor.ViewTerm, Ivor.TT |
| subGoals | Ivor.TT |
| subst | Ivor.ViewTerm, Ivor.TT |
| suspend | Ivor.TT |