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