Nuprl Definition : nysiad_addwaiting'base-program
nysiad_addwaiting'base-program(add2baghdr;addwaitinghdr;adeliverhdr;inputmsghdr;kdeliverhdr;readyhdr;tooarcasthdr;mf) ==
base-class-program(addwaitinghdr)
Definitions occuring in Statement :
base-class-program: base-class-program(hdr)
FDL editor aliases :
nysiad_addwaiting'base-program
Latex:
nysiad\_addwaiting'base-program(add2baghdr;addwaitinghdr;adeliverhdr;inputmsghdr;...;...;...;mf) ==
base-class-program(addwaitinghdr)
Date html generated:
2015_07_23-PM-03_41_57
Last ObjectModification:
2014_08_06-PM-03_24_52
Home
Index