---

es-interface-locs-list(es;X;S) ==  e:E(X). (loc(e)  S)

---

Definitions :  all: x:A. B[x],  es-E-interface: E(X),  l_member: (x  l),  es-loc: loc(e),  Id: Id
FDL editor aliases :  es-interface-locs-list

---

es-interface-locs-list(es;X;S)  ==    \mforall{}e:E(X).  (loc(e)  \mmember{}  S)


Date html generated: 2010_08_27-PM-02_25_37
Last ObjectModification: 2009_12_16-AM-08_22_15

Home Index