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