Skip to content
Snippets Groups Projects
Commit c8bb51b2 authored by Robbert Krebbers's avatar Robbert Krebbers
Browse files

Avoid relying on implicit instance generalization, and name some instances. 

Fix in preparation for https://github.com/coq/coq/pull/13188
parent 7f934a94
No related branches found
No related tags found
1 merge request!193Avoid relying on implicit instance generalization, and name some instances.
Hide whitespace changes
Inline Side-by-side
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment