.lia.cache
*~
*.aux
Makefile.coq
Makefile.coq.conf
*.glob
*.vo
*.v.d
*.out
*.pdf
*.synctex.gz
*.log
*/auto/*
.coqdeps.d
*.d
*.vok
*.vos
