Nuprl Definition : nysiad_headers_no_inputs
nysiad_headers_no_inputs(add2baghdr;addwaitinghdr;adeliverhdr;readyhdr;tooarcasthdr) ==
[readyhdr; add2baghdr; addwaitinghdr; adeliverhdr; tooarcasthdr]
Definitions occuring in Statement :
cons: [a / b],
nil: []
FDL editor aliases :
nysiad_headers_no_inputs
Latex:
nysiad\_headers\_no\_inputs(add2baghdr;addwaitinghdr;adeliverhdr;readyhdr;tooarcasthdr) ==
[readyhdr; add2baghdr; addwaitinghdr; adeliverhdr; tooarcasthdr]
Date html generated:
2015_07_23-PM-03_48_37
Last ObjectModification:
2014_08_06-PM-03_37_05
Home
Index