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