---

concat-lifting-loc(n;bags;loc;f) ==  concat-lifting(n;f loc;bags)

---

Definitions occuring in Statement :  concat-lifting: concat-lifting(n;f;bags),  apply: f a
Definitions :  concat-lifting: concat-lifting(n;f;bags),  apply: f a
FDL editor aliases :  concat-lifting-loc

---

concat-lifting-loc(n;bags;loc;f)  ==    concat-lifting(n;f  loc;bags)


Date html generated: 2011_08_17-PM-06_11_51
Last ObjectModification: 2011_06_01-PM-07_32_23

Home Index