Nuprl Definition : make-Authentic-Msg

make-Authentic-Msg(hdr;val) ==  <tt, make-basicMsg(hdr;val)>


Definitions occuring in Statement :  make-basicMsg: make-basicMsg(hdr;val),  btrue: tt,  pair: <a, b>
FDL editor aliases :  make-Authentic-Msg
Latex:
make-Authentic-Msg(hdr;val)  ==    <tt,  make-basicMsg(hdr;val)>


Date html generated: 2016_05_17-AM-08_57_58
Last ObjectModification: 2014_07_25-PM-02_22_33

Theory : messages


Home Index