Use auto unfold for some Logic operators#1014

fdupress merged 1 commit into

mainEasyCrypt/easycrypt:mainfrom

stdlib-auto-unfoldEasyCrypt/easycrypt:stdlib-auto-unfoldCopy head branch name to clipboard