PrivateKey(A) == inr (inl Private(A) )
Definitions :
inr: inr x ,
inl: inl x ,
ses-private: Private(A)
FDL editor aliases :
ses-private-key
PrivateKey(A) == inr (inl Private(A) )
Date html generated:
2010_08_28-AM-02_05_26
Last ObjectModification:
2010_03_11-PM-04_10_01
Home
Index