*~
*.bak
\#*.thy#
\#*.ML#