Nuprl Definition : nysiad_headers_no_inputs
nysiad_headers_no_inputs(add2baghdr;addwaitinghdr;adeliverhdr;readyhdr;tooarcasthdr) ==
  [readyhdr; add2baghdr; addwaitinghdr; adeliverhdr; tooarcasthdr]
Definitions occuring in Statement : 
cons: [a / b]
, 
nil: []
FDL editor aliases : 
nysiad_headers_no_inputs
Latex:
nysiad\_headers\_no\_inputs(add2baghdr;addwaitinghdr;adeliverhdr;readyhdr;tooarcasthdr)  ==
    [readyhdr;  add2baghdr;  addwaitinghdr;  adeliverhdr;  tooarcasthdr]
Date html generated:
2016_05_17-PM-01_34_47
Last ObjectModification:
2014_08_06-PM-03_37_05
Theory : event-logic-applications
Home
Index