Make proof-local simplify hint databases visible to conversion#1080

strub merged 1 commit into

mainEasyCrypt/easycrypt:mainfrom

hint-simplify-db-fixesEasyCrypt/easycrypt:hint-simplify-db-fixesCopy head branch name to clipboard