minor look at parser_correct proof

a constant called "parse" is also defined twice. I'm not sure if the one
in parsing/mmlParseScript.sml is used for anything...