After generalization of theories, remember work obtained by the theory#1052

strub merged 1 commit into

mainEasyCrypt/easycrypt:mainfrom

fix-theories-in-sectionEasyCrypt/easycrypt:fix-theories-in-sectionCopy head branch name to clipboard