added known_thy; added touch_child_thys; tuned loaded_files;
added known_thy;
added touch_child_thys;
tuned loaded_files;

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