https://github.com/coq-ext-lib/coq-ext-lib
Tip revision: 1c5095b2e74504afb584dc270b01ff30edafc50b authored by Gregory Malecha on 25 June 2019, 02:02:53 UTC
Merge pull request #64 from coq-ext-lib/finite-map-remove-facts
Merge pull request #64 from coq-ext-lib/finite-map-remove-facts
Tip revision: 1c5095b
.gitignore
*.vo
*.glob
*.v.d
*.cmi
*.cmx
*.cmxs
*.native
*.o
*.aux
Makefile.coq*
Makefile.opam.coq
*~
\#*
.#*
.dir-locals.el
deps.dot
deps.pdf
.coqdeps.d
