isallevents{isallevents_compseq_tag_def:o}(e; eo) == compseq(e 
E; tt)
Definitions :
in-eclass: e X,
es-all-events: E,
btrue: tt
isallevents\{isallevents\_compseq\_tag\_def:o\}(e; eo) == compseq(e \mmember{}\msubb{} E; tt)
Date html generated:
2010_08_27-PM-02_06_54
Last ObjectModification:
2010_01_26-PM-06_04_14
Home
Index