load thy_info.ML after outer_syntax.ML -- avoids backpatching of load_thy;
load thy_info.ML after outer_syntax.ML -- avoids backpatching of load_thy;

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