{ 
[sth:SecurityTheory]. (sth-es(sth) 
SES) }
{ Proof }
Definitions occuring in Statement :
sth-es: sth-es(s),
security-theory: SecurityTheory,
security-event-structure: SES,
uall: [x:A]. B[x],
member: t T
Definitions :
uall: [x:A]. B[x],
member: t T,
sth-es: sth-es(s),
top: Top,
security-theory: SecurityTheory,
prop: 
Lemmas :
pi1_wf_top,
security-event-structure_wf,
security-theory_wf
\mforall{}[sth:SecurityTheory]. (sth-es(sth) \mmember{} SES)
Date html generated:
2011_08_17-PM-07_30_58
Last ObjectModification:
2011_06_18-PM-01_23_31
Home
Index