functor: no Simplifier argument; Simplifier.theory_context;
functor: no Simplifier argument;
Simplifier.theory_context;

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