.gitignore

.*.aux
*.glob
*.o
*.v.d
*.vio
*.vo
*.vok
*.vos
.lia.cache
csdp.cache
lia.cache
Makefile.coq
Makefile.coq.conf
.Makefile.coq.d
.coq-html.mk
html/*
_CoqProject