  ".*\\.mllib"  -> frame open:"(*" line:"=" close:"*)"
|  ".*\\.lem"    -> frame open:"(*" line:"=" close:"*)"
|  ".*\\.v"      -> frame open:"(*" line:"=" close:"*)"
|  ".*\\.thy"      -> frame open:"(*" line:"=" close:"*)"
|  ".*\\.sml"      -> frame open:"(*" line:"=" close:"*)"
|  ".*\\.sail"   -> frame open:"/*" line:"=" close:"*/"

