---

lifting-loc-1(f) ==  l,b.lifting1-loc(f;l;b)

---

Definitions occuring in Statement :  lifting1-loc: lifting1-loc(f;loc;b),  lambda: x.A[x]
Definitions :  lambda: x.A[x],  lifting1-loc: lifting1-loc(f;loc;b)
FDL editor aliases :  lifting-loc-1

---

lifting-loc-1(f)  ==    \mlambda{}l,b.lifting1-loc(f;l;b)


Date html generated: 2011_08_17-PM-06_06_28
Last ObjectModification: 2011_06_02-PM-04_15_05

Home Index