* improved name spaces: ambiguous output is qualified; support for hiding of names;
* improved name spaces: ambiguous output is qualified; support for
hiding of names;

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