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