eliminated theory ProtoPure; implicit setup of emerging theory Pure;
eliminated theory ProtoPure;
implicit setup of emerging theory Pure;

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