theories · db1118603214d8af47506a7d476d5a111cbad67b · Iris / stdpp · GitLab

Snippets Groups Projects

Fix priority of `Permutation_app'`.

Robbert Krebbers authored 3 years ago

This is a workaround for https://github.com/coq/coq/issues/14571

This fixes #114.

db111860

db111860 3 years ago

Name	Last commit	Last update
..
base.v
binders.v
boolset.v
coGset.v
coPset.v
countable.v
decidable.v
fin.v
fin_map_dom.v
fin_maps.v
fin_sets.v
finite.v
functions.v
gmap.v
gmultiset.v
hashset.v
hlist.v
infinite.v
lexico.v
list.v
list_numbers.v
listset.v
listset_nodup.v
mapset.v
namespaces.v
nat_cancel.v
natmap.v
nmap.v
numbers.v
option.v
options.v
orders.v
pmap.v
prelude.v
pretty.v
proof_irrel.v
propset.v
relations.v
sets.v
sorting.v
streams.v
stringmap.v
strings.v
tactics.v
telescopes.v
vector.v
zmap.v