Skip to content
Snippets Groups Projects

Remove hint db and import of omega, since omega will be removed from Coq.

Merged Remove hint db and import of omega, since omega will be removed from Coq.
robbert/omega into master
Merged Robbert Krebbers requested to merge robbert/omega into master