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:
2015_07_21-PM-04_53_34
Last ObjectModification:
2014_07_25-PM-02_22_33
Home
Index