Index - P
| PAIR | Type.Dummies |
| PAIR1 | Type.Dummies |
| PAIR2 | Type.Dummies |
| PAIR3 | Type.Dummies |
| Powerset | |
| 1 (Type/Class) | Type.Set |
| 2 (Data Constructor) | Type.Set |
| powersetClosedDownwards | Type.Set |
| powersetEmpty | Type.Set |
| powersetInter | Type.Set |
| powersetMonotonic | Type.Set |
| powersetUnion | Type.Set |
| powersetWholeset | Type.Set |
| Preimage | |
| 1 (Type/Class) | Type.Function |
| 2 (Data Constructor) | Type.Function |
| preimage_Image | Type.Function |
| Prod | Type.Set |
| prodMonotonic | Type.Set |
| ProofSet | |
| 1 (Type/Class) | Type.Set |
| 2 (Data Constructor) | Type.Set |