Nuprl Definition : msg-authentic

msg-authentic(m) ==  fst(m)


Definitions occuring in Statement :  pi1: fst(t)
FDL editor aliases :  msg-authentic
Latex:
msg-authentic(m)  ==    fst(m)


Date html generated: 2015_07_21-PM-04_48_14
Last ObjectModification: 2014_07_25-PM-02_02_06

Home Index