---

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

---

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

---

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


Date html generated: 2011_08_17-PM-06_04_43
Last ObjectModification: 2011_06_01-AM-00_23_23

Home Index