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

Home Index