added loaded_thys to signature and removed list_/set_loaded
added loaded_thys to signature and removed list_/set_loaded

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