Nuprl Definition : msg-rename

msg-rename(rtinv;m) ==  <fst(m), outl(rtinv (fst(snd(m)))), snd(snd(m))>


Definitions occuring in Statement :  outl: outl(x),  pi1: fst(t),  pi2: snd(t),  apply: f a,  pair: <a, b>
FDL editor aliases :  msg-rename
Latex:
msg-rename(rtinv;m)  ==    <fst(m),  outl(rtinv  (fst(snd(m)))),  snd(snd(m))>


Date html generated: 2016_05_16-AM-10_55_44
Last ObjectModification: 2012_02_25-AM-10_52_54

Theory : event-ordering


Home Index