added ambiguity_limit (restricts parse trees / terms printed in messages); tuned;
added ambiguity_limit (restricts parse trees / terms printed in messages);
tuned;

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