.directory
*.thy~
ex/*.thy~
ex/Hott book/*.thy~