---

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

---

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

---

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


Date html generated: 2011_08_17-PM-06_10_51
Last ObjectModification: 2011_06_02-PM-04_42_21

Home Index