Nuprl Definition : OARcast_headers
OARcast_headers(deliverhdr;oarcasthdr;orderedhdr;orderhdr) == [oarcasthdr; orderhdr; orderedhdr; deliverhdr]
Definitions occuring in Statement :
cons: [a / b],
nil: []
FDL editor aliases :
OARcast_headers
Latex:
OARcast\_headers(deliverhdr;oarcasthdr;orderedhdr;orderhdr) ==
[oarcasthdr; orderhdr; orderedhdr; deliverhdr]
Date html generated:
2015_07_23-PM-00_28_32
Last ObjectModification:
2014_08_20-AM-11_58_55
Home
Index