Skip to content
GitLab
Explore
Sign in
Jonas Kastberg
stdpp
Repository
stdpp
theories
list.v
Find file
Blame
History
Permalink
Fix priority of `Permutation_app'`.
· db111860
Robbert Krebbers
authored
Jun 29, 2021
This is a workaround for
https://github.com/coq/coq/issues/14571
This fixes #114.
db111860