Nuprl Definition : OARcast_headers_no_rep
OARcast_headers_no_rep(deliverhdr;oarcasthdr;orderedhdr;orderhdr) ==
no_repeats(Name;OARcast_headers(deliverhdr;oarcasthdr;orderedhdr;orderhdr))
Definitions occuring in Statement :
OARcast_headers: OARcast_headers(deliverhdr;oarcasthdr;orderedhdr;orderhdr),
name: Name,
no_repeats: no_repeats(T;l)
FDL editor aliases :
OARcast_headers_no_rep
Latex:
OARcast\_headers\_no\_rep(deliverhdr;oarcasthdr;orderedhdr;orderhdr) ==
no\_repeats(Name;OARcast\_headers(deliverhdr;oarcasthdr;orderedhdr;orderhdr))
Date html generated:
2015_07_23-PM-00_28_39
Last ObjectModification:
2014_08_20-AM-11_59_05
Home
Index