Rewriting in the pre-condition of PL logics#940

strub merged 1 commit intomainEasyCrypt/easycrypt:mainfrom

proc-rewrite-in-preEasyCrypt/easycrypt:proc-rewrite-in-preCopy head branch name to clipboard