removed obsolete of_instream_slurp -- now already included in tty;
removed obsolete of_instream_slurp -- now already included in tty;

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