---

lifting-gen(n;f) ==  bags.lifting-gen-rev(n;f;bags)

---

Definitions occuring in Statement :  lifting-gen-rev: lifting-gen-rev(n;f;bags),  lambda: x.A[x]
Definitions :  lambda: x.A[x],  lifting-gen-rev: lifting-gen-rev(n;f;bags)
FDL editor aliases :  lifting-gen

---

lifting-gen(n;f)  ==    \mlambda{}bags.lifting-gen-rev(n;f;bags)


Date html generated: 2011_08_17-PM-05_58_48
Last ObjectModification: 2011_06_02-PM-04_51_49

Home Index