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