Nuprl Definition : es-E

E ==  {e:es."E"| ↑(es."dom" e)} 


Definitions occuring in Statement :  assert: ↑b,  set: {x:A| B[x]} ,  apply: f a,  token: "$token",  record-select: r.x
FDL editor aliases :  es-E es-E
Latex:
E  ==    \{e:es."E"|  \muparrow{}(es."dom"  e)\} 


Date html generated: 2016_05_16-AM-09_13_52
Last ObjectModification: 2013_03_22-PM-08_18_49

Theory : new!event-ordering


Home Index