Nuprl Definition : nysiad_inputmsg'base
nysiad_inputmsg'base(add2baghdr;addwaitinghdr;adeliverhdr;inputmsghdr;kdeliverhdr;readyhdr;tooarcasthdr;mf) ==
Base(inputmsghdr)
Definitions occuring in Statement :
base-headers-msg-val: Base(hdr)
FDL editor aliases :
nysiad_inputmsg'base
Latex:
nysiad\_inputmsg'base(add2baghdr;addwaitinghdr;adeliverhdr;inputmsghdr;kdeliverhdr;...;...;mf) ==
Base(inputmsghdr)
Date html generated:
2015_07_23-PM-03_42_20
Last ObjectModification:
2014_08_06-PM-03_28_23
Home
Index