---

{ event_system_typename()  Type }

{ Proof }

---

Definitions occuring in Statement :  event_system_typename: event_system_typename(),  member: t  T,  universe: Type
Definitions :  member: t  T,  event_system_typename: event_system_typename(),  all: x:A. B[x]
Lemmas :  int_seg_wf

---

event\_system\_typename()  \mmember{}  Type


Date html generated: 2010_08_27-AM-01_07_58
Last ObjectModification: 2009_12_16-AM-12_07_45

Home Index