Nuprl Definition : event-has*
e has* a == ∃e':E. ((e' has a) ∧ (e' (->>^*) e))
Definitions occuring in Statement :
ses-info-flow: ->>,
event-has: (e has a),
es-E: E,
rel_star: R^*,
infix_ap: x f y,
exists: ∃x:A. B[x],
and: P ∧ Q
FDL editor aliases :
event-has*
Latex:
e has* a == \mexists{}e':E. ((e' has a) \mwedge{} (e' rel\_star(E; ->>) e))
Date html generated:
2015_07_23-PM-00_05_24
Last ObjectModification:
2012_08_30-PM-02_30_24
Home
Index