*~
*.cmi
*.cmo
*.cmx
*.o
Makefile
Makefile.deps
dump.odoc-dump
prooftree
prooftree.man.html
prooftree.man.txt
version.ml
TAGS
doc
