Nuprl Definition : es-header
header(e) ==  msg-header(info(e))
Definitions occuring in Statement : 
msg-header: msg-header(m)
, 
es-info: info(e)
FDL editor aliases : 
es-header
Latex:
header(e)  ==    msg-header(info(e))
Date html generated:
2016_05_17-AM-08_50_56
Last ObjectModification:
2013_02_14-PM-03_05_59
Theory : messages
Home
Index