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: 2015_07_21-PM-04_48_29 Last ObjectModification: 2014_07_25-PM-05_54_15 Home Index