[isabelle] proof document and conference format



Hi,

what is the standard way of using a conference document class to create a
proof document?

I copied the necessary parts into document/root.tex, now the normal text is
typeset in italic and \emph is in normal font, which is not the case for
the example conference document . Should I take another way to incorporate
the conference format?

- Gergely



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