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: 2015_07_21-PM-04_48_43
Last ObjectModification: 2012_11_29-PM-06_20_00

Home Index