Nuprl Definition : msg

msg(l;t;v) ==  <l, t, v>


Definitions occuring in Statement :  pair: <a, b>
FDL editor aliases :  msg
Latex:
msg(l;t;v)  ==    <l,  t,  v>


Date html generated: 2016_05_16-AM-10_53_39
Last ObjectModification: 2012_02_25-AM-10_52_31

Theory : event-ordering


Home Index