may_load_file; use_thy etc.: warn_finished; added begin_update_theory; added quiet_update_thy;
may_load_file;
use_thy etc.: warn_finished;
added begin_update_theory;
added quiet_update_thy;

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