Nuprl Definition : es-first-event
es-first-event(es;P;e) == l_find(≤loc(e);P)
Definitions occuring in Statement :
es-le-before: ≤loc(e),
l_find: l_find(L;P)
FDL editor aliases :
es-first-event
es-first-event
Latex:
es-first-event(es;P;e) == l\_find(\mleq{}loc(e);P)
Date html generated:
2016_05_16-AM-09_38_55
Last ObjectModification:
2013_03_25-PM-01_49_03
Theory : new!event-ordering
Home
Index