Renamed member to memb to avoid confusion with member function defined in Predicate theory.
Renamed member to memb to avoid confusion with member function
defined in Predicate theory.

MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle