Nuprl Definition : es-info-body

msgval(e) ==  msg-body(info(e))


Definitions occuring in Statement :  msg-body: msg-body(msg),  es-info: info(e)
FDL editor aliases :  es-info-body
Latex:
msgval(e)  ==    msg-body(info(e))


Date html generated: 2016_05_17-AM-08_51_21
Last ObjectModification: 2012_11_29-PM-06_20_00

Theory : messages


Home Index