eliminated unused Toplevel.print3/three_buffers;
eliminated unused Toplevel.print3/three_buffers;

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