removed superfluous output_typewriter from cs 65064e8f269
removed superfluous output_typewriter from cs 65064e8f269

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