Nuprl Definition : nysiad_add2bag'base
nysiad_add2bag'base(add2baghdr;addwaitinghdr;adeliverhdr;inputmsghdr;kdeliverhdr;readyhdr;tooarcasthdr;mf) ==
Base(add2baghdr)
Definitions occuring in Statement :
base-headers-msg-val: Base(hdr)
FDL editor aliases :
nysiad_add2bag'base
Latex:
nysiad\_add2bag'base(add2baghdr;addwaitinghdr;adeliverhdr;inputmsghdr;kdeliverhdr;readyhdr;...;mf) ==
Base(add2baghdr)
Date html generated:
2016_05_17-PM-01_19_34
Last ObjectModification:
2014_08_06-PM-03_24_04
Theory : event-logic-applications
Home
Index