I planned to use them to simplify wsat_le, but it did not turn out to be simpler.
*.vo *.v.d *.glob *.cache *.aux \#*\# *~ .coq-native/ Makefile
