Make* 
README 
examples/automath/*.aut 
examples/automath/README 
scripts/coq/*.v
scripts/coq/*.template
scripts/lp/*.template
src/*.ml
src/*/*