 | 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 | > |
| parameters | Ivor.ViewTerm, Ivor.TT |
| parseDataString | Ivor.TermParser |
| parsePrimitives | Ivor.Primitives |
| parsePrimTerm | Ivor.Primitives |
| parseTermString | Ivor.TermParser |
| Partial | Ivor.TT |
| Patterns | |
| 1 (Type/Class) | Ivor.TT |
| 2 (Data Constructor) | Ivor.TT |
| patterns | Ivor.TT |
| PattOpt | Ivor.TT |
| PClause | |
| 1 (Type/Class) | Ivor.TT |
| 2 (Data Constructor) | Ivor.TT |
| pInductive | Ivor.TermParser |
| Placeholder | Ivor.ViewTerm, Ivor.TT |
| pNoApp | Ivor.TermParser |
| prefix | Ivor.Shell |
| proofterm | Ivor.TT |
| proving | Ivor.TT |
| pTerm | Ivor.TermParser |
| PWithClause | Ivor.TT |