Nuprl Definition : msg-interface-message

mi.msg ==  snd(snd(mi))


Definitions occuring in Statement :  pi2: snd(t)
FDL editor aliases :  msg-interface-message
Latex:
mi.msg  ==    snd(snd(mi))


Date html generated: 2015_07_22-AM-11_58_46
Last ObjectModification: 2014_07_16-PM-00_11_34

Home Index