Nuprl Definition : es-bless
e <loc e' == es-blocl(es;e;e')
Definitions occuring in Statement :
es-blocl: es-blocl(es;e1;e2)
FDL editor aliases :
es-bless
es-bless
Latex:
e <loc e' == es-blocl(es;e;e')
Date html generated:
2016_05_16-AM-09_24_17
Last ObjectModification:
2013_03_25-PM-03_12_59
Theory : new!event-ordering
Home
Index