/extraction/
../
.depend
Kildall.ml.patch
Linearize.ml.patch
Makefile
extraction.v
uncapitalize