quiet_update_thy: ml flag; replaced broken del_deps by upd_deps; begin_theory: better handling of 'files';
quiet_update_thy: ml flag;
replaced broken del_deps by upd_deps;
begin_theory: better handling of 'files';

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