Nuprl Definition : es-initial-event
es-initial-event(es;e;A) == e is first@ loc(e) s.t. x.
x 
A
Proof not projected
Definitions occuring in Statement :
in-eclass: e X,
es-first-at: e is first@ i s.t. e.P[e],
es-loc: loc(e),
assert: b
Definitions :
es-first-at: e is first@ i s.t. e.P[e],
es-loc: loc(e),
assert: b,
in-eclass: e X
FDL editor aliases :
es-initial-event
es-initial-event(es;e;A) == e is first@ loc(e) s.t. x.\muparrow{}x \mmember{}\msubb{} A
Date html generated:
2011_10_20-PM-04_53_44
Last ObjectModification:
2011_05_11-AM-10_25_40
Home
Index