proc change: well-formed goals when introducing fresh locals#1040

strub merged 1 commit into

mainEasyCrypt/easycrypt:mainfrom

fix-1026EasyCrypt/easycrypt:fix-1026Copy head branch name to clipboard