An error occurred while fetching folder content.
Robbert Krebbers
authored
This reverts commit 2a7755fe because it is no longer needed after Matthieu Sozeau reverted this change in Coq 8.6. See also the discussion: [Coq-Club] Coq 8.6 typeclasses behavior change at 11/16/2016 02:14 PM.
| Name | Last commit | Last update |
|---|