Skip to content
GitLab
Explore
Sign in
David Swasey
coq-stdpp
Repository
coq-stdpp
theories
listset_nodup.v
Find file
Blame
History
Permalink
Remove obsolete `Hint Extern`s that predate the `Hint Mode` declarations.
· 9a1b4cde
Robbert Krebbers
authored
Feb 17, 2020
9a1b4cde