Generalized case for atoms. Selection of environment lists is allowed more than once.
Generalized case for atoms. Selection of environment lists is allowed more than once.

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