---

signed(e) ==  fst(Verify(e))

---

Definitions :  pi1: fst(t),  eclass-val: X(e),  ses-verify: Verify
FDL editor aliases :  ses-verify-signed

---

signed(e)  ==    fst(Verify(e))


Date html generated: 2010_08_28-AM-01_50_48
Last ObjectModification: 2010_02_22-PM-12_19_48

Home Index