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:
2015_07_21-PM-04_49_16
Last ObjectModification:
2013_02_16-AM-00_30_40
Home
Index