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