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 b then t else f 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