Fix for Coq PR 13986 - Githubissues

coq-community / coq-ext-lib

A library of Coq definitions, theorems, and tactics. [maintainers=@gmalecha,@liyishuai]

https://coq-community.org/coq-ext-lib/

BSD 2-Clause "Simplified" License

129 stars 46 forks source link

Fix for Coq PR 13986 #109

Closed mrhaandi closed 3 years ago

mrhaandi commented 3 years ago

In an effort https://github.com/coq/coq/pull/13986 to streamline Coq's List.v, dependencies on Arith modules are removed. Therefore, importing List will not provide Arith functionality. Resulting issues are fixed by this PR.