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: 2015_07_21-PM-04_48_31 Last ObjectModification: 2013_02_14-PM-03_05_59 Home Index