Nuprl Definition : nysiad_headers_no

Nuprl Definition : nysiad_headers_no_rep

nysiad_headers_no_rep(add2baghdr;addwaitinghdr;adeliverhdr;inputmsghdr;kdeliverhdr;readyhdr;tooarcasthdr) ==
no_repeats(Name;nysiad_headers(add2baghdr;addwaitinghdr;adeliverhdr;inputmsghdr;kdeliverhdr;readyhdr;tooarcasthdr))

Definitions occuring in Statement : nysiad_headers: nysiad_headers(add2baghdr;addwaitinghdr;adeliverhdr;inputmsghdr;kdeliverhdr;readyhdr;tooarcasthdr), name: Name, no_repeats: no_repeats(T;l)
FDL editor aliases : nysiad_headers_no_rep

Latex:
nysiad\_headers\_no\_rep(add2baghdr;addwaitinghdr;adeliverhdr;inputmsghdr;kdeliverhdr;readyhdr;...) == no\_repeats(Name;nysiad\_headers(add2baghdr;addwaitinghdr;adeliverhdr;inputmsghdr;...;readyhdr;...)) Date html generated: 2016_05_17-PM-01_17_40 Last ObjectModification: 2014_08_06-PM-03_22_58 Theory : event-logic-applications Home Index