turned process_thy into present_thy, which merely does presentation (wrt. persistent intermediate states);
turned process_thy into present_thy, which merely does presentation (wrt. persistent intermediate states);

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