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