v 
X(e) == bag-member(T;v;X es e)
Definitions occuring in Statement :
apply: f a,
bag-member: bag-member(T;x;bs)
Definitions :
bag-member: bag-member(T;x;bs),
apply: f a
FDL editor aliases :
classrel
v \mmember{} X(e) == bag-member(T;v;X es e)
Date html generated:
2011_08_16-AM-11_28_36
Last ObjectModification:
2011_05_19-PM-05_07_34
Home
Index