Nuprl Definition : OARcast_headers_no_inputs
OARcast_headers_no_inputs(deliverhdr;orderedhdr;orderhdr) == [orderhdr; orderedhdr; deliverhdr]
Definitions occuring in Statement :
cons: [a / b],
nil: []
FDL editor aliases :
OARcast_headers_no_inputs
Latex:
OARcast\_headers\_no\_inputs(deliverhdr;orderedhdr;orderhdr) == [orderhdr; orderedhdr; deliverhdr]
Date html generated:
2015_07_23-PM-00_35_47
Last ObjectModification:
2014_08_20-PM-00_10_13
Home
Index