removed obsolete use/update_thy_only; removed unused quiet_update_thy, get_succs; renamed get_preds to get_parents; deps: replaced File.info by File.ident (no comparison of paths!); check_deps: reload (partially qualified) parents for unfinished theory,   no reference of previously loaded master paths! require_thy: attempt at purely static path lookup, less permissive; misc cleanup;
removed obsolete use/update_thy_only;
removed unused quiet_update_thy, get_succs;
renamed get_preds to get_parents;
deps: replaced File.info by File.ident (no comparison of paths!);
check_deps: reload (partially qualified) parents for unfinished theory,
  no reference of previously loaded master paths!
require_thy: attempt at purely static path lookup, less permissive;
misc cleanup;

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