[isabelle-dev] antiquotation @{thm[locale=...
Tobias Nipkow
nipkow at in.tum.de
Sun May 17 15:17:08 CEST 2009
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
More information about the isabelle-dev
mailing list