  ".*\\.lem"       -> frame open:"(*" line:"=" close:"*)"
| ".*\\.thy"       -> frame open:"(*" line:"=" close:"*)"
| ".*\\.v"         -> frame open:"(*" line:"=" close:"*)"
| ".*\\.sty"       -> frame open:"%" line:"=" close:"%"
