tuned messages -- some attempts to observe Isabelle output channel semantics;
tuned messages -- some attempts to observe Isabelle output channel semantics;

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