*.cmi
*.cmo
*.cmx
Makefile
Makefile.deps
prooftree
prooftree.html
prooftree.man
version.ml
