proper_inform_file_processed: Isar.init_point starts fresh command sequence;
proper_inform_file_processed: Isar.init_point starts fresh command sequence;

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