---

X(e) ==  only(X eo e)

---

Definitions occuring in Statement :  apply: f a,  bag-only: only(bs)
Definitions :  bag-only: only(bs),  apply: f a
FDL editor aliases :  eclass-val

---

X(e)  ==    only(X  eo  e)


Date html generated: 2011_08_16-AM-11_30_55
Last ObjectModification: 2011_01_14-PM-02_39_31

Home Index