Nuprl Definition : eclass-val

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


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


Date html generated: 2016_05_16-PM-02_18_58
Last ObjectModification: 2012_02_25-PM-01_18_25

Theory : event-ordering


Home Index