Locally deleted some definitions that were applied too eagerly because of eta-expansion
Locally deleted some definitions that were applied too eagerly because
of eta-expansion

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