Support pure specialization patterns#109

markusdemedeiros merged 3 commits intoleanprover-community:masterleanprover-community/iris-lean:masterfrom

MackieLoeffel:msammler/ipm_pureMackieLoeffel/iris-lean:msammler/ipm_pureCopy head branch name to clipboard