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
es-first-event(es;P;e) == l\_find(\mleq{}loc(e);P) Date html generated: 2015_07_17-AM-08_44_51 Last ObjectModification: 2013_03_25-PM-01_49_03 Home Index