added flag show_brackets for printinmg fully bracketed terms.
added flag show_brackets for printinmg fully bracketed terms.

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