[isabelle] proof document with conference style


I combined an ACM conference document class with root.tex and the result
was slanted paragraphs in the sections.

Upon advice I removed \isabellestyle{it} and put



instead. That cured the sections but now the proof parts became non-italic
as well. How can I fix this?

- Gergely

This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.