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: 2016_05_17-AM-08_50_14
Last ObjectModification: 2014_07_25-PM-02_02_06

Theory : messages


Home Index