Nuprl Definition : cond-verify-msg-body

cond-verify-msg-body(hdr;msg) == if msg-authentic(msg) then cond-msg-body(hdr;msg) else {} fi

Definitions occuring in Statement : cond-msg-body: cond-msg-body(hdr;msg), msg-authentic: msg-authentic(m), ifthenelse: if b then t else f fi , empty-bag: {}
FDL editor aliases : cond-verify-msg-body

Latex:
cond-verify-msg-body(hdr;msg) == if msg-authentic(msg) then cond-msg-body(hdr;msg) else \{\} fi Date html generated: 2015_07_21-PM-04_50_38 Last ObjectModification: 2014_07_25-PM-02_47_55 Home Index