Restoring especialize in an non backward compatible way

Matafou released this 18 Dec 21:58

· 43 commits to master since this release

b77120e

First version working around coq 8.19 specialize semantic change wrt evars.

Assets 2