make sure the parser for FORMULA does not require them to be enclosed in parentheses and parse to the end of input
make sure the parser for FORMULA does not require them to be enclosed in
parentheses and parse to the end of input


git-svn-id: a49b465eaba45b67e2e1e4e0b2c256a71f59fecb@5203 85f007b7-540e-0410-9357-904b9bb8a0f7

SamB/coq