Nuprl Definition : es-authentic

es-authentic(es;e) ==  msg-authentic(info(e))


Definitions occuring in Statement :  msg-authentic: msg-authentic(m),  es-info: info(e)
FDL editor aliases :  es-authentic
Latex:
es-authentic(es;e)  ==    msg-authentic(info(e))


Date html generated: 2016_05_17-AM-08_50_52
Last ObjectModification: 2014_07_25-PM-05_54_15

Theory : messages


Home Index