 | 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 | > |
| Elim | Ivor.TT |
| ElimOp | Ivor.ViewTerm, Ivor.TT |
| emptyContext | Ivor.TT |
| eqproof | Ivor.TT |
| equiv | Ivor.TT |
| ErrContext | Ivor.TT |
| Escape | Ivor.ViewTerm, Ivor.TT |
| escapedterm | Ivor.ViewTerm, Ivor.TT |
| Eval | Ivor.ViewTerm, Ivor.TT |
| eval | Ivor.TT |
| evalCtxt | Ivor.TT |
| evalnew | Ivor.TT |
| evalnewLimit | Ivor.TT |
| evalnewWithout | Ivor.TT |
| evalterm | Ivor.ViewTerm, Ivor.TT |
| exists | Ivor.Construction |
| extendParser | Ivor.Shell |