removed load; proper use (ThyInfo.load_file); added use_thy, update_thy;
removed load;
proper use (ThyInfo.load_file);
added use_thy, update_thy;

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