*#
*.aux
*.d
*.glob
*.vio
*.vo
*~
.#*
Makefile.bak
Makefile.coq
lia.cache
nlia.cache