.directory
*.thy~
\#*.thy#

ex/*.thy~
ex/\#*.thy#

ex/Hott book/*.thy~
ex/Hott book/\#*.thy#

tests/*.thy~
tests/\#*.thy#