split: add split * and split + to iterate over top-level conjunctions#1015

strub merged 1 commit into

mainEasyCrypt/easycrypt:mainfrom

split-starEasyCrypt/easycrypt:split-starCopy head branch name to clipboard