---

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

---

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

---

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


Date html generated: 2011_08_17-PM-06_05_00
Last ObjectModification: 2011_06_02-PM-04_54_58

Home Index