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