Skip to content
GitLab
Explore
Sign in
stdpp
theories
pmap.v
Find file
Blame
History
Permalink
Make uses of Arguments more rubust.
· 24aef2fe
Robbert Krebbers
authored
Sep 08, 2017
See also Coq bug #5712.
24aef2fe