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