Nuprl Definition : ses-verify-signed
signed(e) == fst(Verify(e))
Definitions occuring in Statement :
ses-verify: Verify
,
eclass-val: X(e)
,
pi1: fst(t)
FDL editor aliases :
ses-verify-signed
Latex:
signed(e) == fst(Verify(e))
Date html generated:
2015_07_23-PM-00_02_49
Last ObjectModification:
2012_08_30-PM-02_30_17
Home
Index