---

f@Loc ==  l,a,b.concat-lifting2-loc(f;a;b;l)

---

Definitions occuring in Statement :  concat-lifting2-loc: concat-lifting2-loc(f;abag;bbag;loc),  lambda: x.A[x]
Definitions :  lambda: x.A[x],  concat-lifting2-loc: concat-lifting2-loc(f;abag;bbag;loc)
FDL editor aliases :  concat-lifting-loc-2

---

f@Loc  ==    \mlambda{}l,a,b.concat-lifting2-loc(f;a;b;l)


Date html generated: 2011_08_17-PM-06_14_12
Last ObjectModification: 2011_06_02-PM-04_44_25

Home Index