---

Act ==  {e:E| Action(e)} 

---

Definitions :  set: {x:A| B[x]} ,  es-E: E,  ses-action: Action(e)
FDL editor aliases :  ses-act

---

Act  ==    \{e:E|  Action(e)\} 


Date html generated: 2010_08_28-AM-02_06_33
Last ObjectModification: 2010_02_22-PM-01_58_55

Home Index