/attic/

*.d
*.o
*.a
*.cm[ioxa]
*.cmx[as]
*.annot
*.vo
*.glob
*.aux
*.vo[ks]
*~

Makefile.coq
Makefile.coq.conf
