Nuprl Definition : mk-msg
mk-msg(auth;hdr;val) ==  <auth, make-basicMsg(hdr;val)>
Definitions occuring in Statement : 
make-basicMsg: make-basicMsg(hdr;val)
, 
pair: <a, b>
FDL editor aliases : 
mk-msg
Latex:
mk-msg(auth;hdr;val)  ==    <auth,  make-basicMsg(hdr;val)>
Date html generated:
2016_05_17-AM-08_57_23
Last ObjectModification:
2014_08_04-PM-03_22_52
Theory : messages
Home
Index