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 |