removed pointless comment -- NB: Isabelle output is message-oriented with implicit line-boundaries;
removed pointless comment -- NB: Isabelle output is message-oriented with implicit line-boundaries;

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