.depend.opt
Make* 
README 
examples/automath/*.aut 
src/*.ml
src/Make*
src/*/*