Replaced "init_thy_reader" by "set_parser".
Replaced "init_thy_reader" by "set_parser".

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