.gitignore

_build/
.merlin
\#*\#
.\#*
*~
*.bak
.coq-native/
builddep/
Makefile.coq
.Makefile.coq.d
Makefile.coq.conf
_opam
/theories/examples/tutorial/tutorial
*.timing
.lia.cache