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: 2015_07_21-PM-04_48_25
Last ObjectModification: 2014_07_25-PM-02_05_17

Home Index