---

loc(thr)= A ==  e:Act. (e  thr  (loc(e) = A))

---

Definitions :  all: x:A. B[x],  ses-act: Act,  implies: P  Q,  ses-thread-member: e  thr,  equal: s = t,  Id: Id,  es-loc: loc(e)
FDL editor aliases :  ses-thread-loc

---

loc(thr)=  A  ==    \mforall{}e:Act.  (e  \mmember{}  thr  {}\mRightarrow{}  (loc(e)  =  A))


Date html generated: 2010_08_28-AM-02_41_13
Last ObjectModification: 2010_02_22-PM-11_09_45

Home Index