Nuprl Definition : msg-body

msg-body(msg) ==  snd(msg-msg(msg))


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


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

Theory : messages


Home Index