Nuprl Definition : msg-header

msg-header(m) == fst(msg-msg(m))

Definitions occuring in Statement : msg-msg: msg-msg(m), pi1: fst(t)
FDL editor aliases : msg-header

Latex:
msg-header(m) == fst(msg-msg(m)) Date html generated: 2015_07_21-PM-04_48_17 Last ObjectModification: 2014_07_25-PM-02_04_07 Home Index