---

{ ProtocolAction  Type }

{ Proof }

---

Definitions occuring in Statement :  protocol-action: ProtocolAction,  member: t  T,  universe: Type
Definitions :  member: t  T,  protocol-action: ProtocolAction,  uall: [x:A]. B[x]
Lemmas :  ifthenelse_wf,  eq_atom_wf,  sdata_wf,  encryption-key_wf,  Id_wf,  top_wf

---

ProtocolAction  \mmember{}  Type


Date html generated: 2011_08_17-PM-07_37_23
Last ObjectModification: 2011_06_18-PM-01_29_45

Home Index