Nuprl Definition : cond-msg-body

cond-msg-body(hdr;msg) ==  if name_eq(msg-header(msg);hdr) then {msg-body(msg)} else {} fi 



Definitions occuring in Statement :  msg-body: msg-body(msg) msg-header: msg-header(m) name_eq: name_eq(x;y) ifthenelse: if then else fi  single-bag: {x} empty-bag: {}
FDL editor aliases :  cond-msg-body

Latex:
cond-msg-body(hdr;msg)  ==    if  name\_eq(msg-header(msg);hdr)  then  \{msg-body(msg)\}  else  \{\}  fi 



Date html generated: 2016_05_17-AM-08_52_05
Last ObjectModification: 2013_02_16-AM-00_30_40

Theory : messages


Home Index