added warning message "Currently parsed expression could be extremely ambiguous."
added warning message
"Currently parsed expression could be extremely ambiguous."

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