.consign
.nfs*
*.cm*
Makefile.dep
*.p4*
*.ppo
*.run
*.opt
ocamlprof.dump
gmon.out
*.prlb
theory.dvi
