added qualified_names, no_base_names, custom_accesses, set_policy, restore_naming; tuned;
added qualified_names, no_base_names, custom_accesses, set_policy, restore_naming;
tuned;

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