Nuprl Definition : msg-msg

msg-msg(m) ==  snd(m)


Definitions occuring in Statement :  pi2: snd(t)
FDL editor aliases :  msg-msg
Latex:
msg-msg(m)  ==    snd(m)


Date html generated: 2016_05_17-AM-08_50_19
Last ObjectModification: 2014_07_25-PM-02_03_14

Theory : messages


Home Index