[isabelle-dev] antiquotation @{thm[locale=...

[Tobias Nipkow]

What happened to this option? I cannot run one of my draft papers
anymore. How do I have to write it these days? I couldn't find anything
in NEWS.

Tobias