Nuprl Definition : es-causl

(e < e') ==  ↓e es."<" e'


Definitions occuring in Statement :  infix_ap: x f y,  squash: ↓T,  token: "$token",  record-select: r.x
FDL editor aliases :  es-causl es-causl
Latex:
(e  <  e')  ==    \mdownarrow{}e  es."<"  e'


Date html generated: 2016_05_16-AM-09_14_15
Last ObjectModification: 2014_02_20-PM-02_16_35

Theory : new!event-ordering


Home Index