 | 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 | > |
| fargs | Ivor.ViewTerm, Ivor.TT |
| fastCheck | Ivor.TT |
| FileLoc | Ivor.ViewTerm, Ivor.TT |
| fill | Ivor.TT |
| fname | Ivor.ViewTerm, Ivor.TT |
| focus | Ivor.TT |
| Forall | Ivor.ViewTerm, Ivor.TT |
| forgetDef | Ivor.TT |
| Free | Ivor.ViewTerm, Ivor.TT |
| freeIn | Ivor.ViewTerm, Ivor.TT |
| freeze | Ivor.TT |
| fun | Ivor.ViewTerm, Ivor.TT |