added register_thy (replaces pretend_use_thy_only and really flag); tuned;
added register_thy (replaces pretend_use_thy_only and really flag);
tuned;

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