[isabelle-dev] record pretty printing

Makarius makarius at sketis.net
Wed Feb 13 14:24:05 CET 2008

On Wed, 13 Feb 2008, Gerwin Klein wrote:

> What does work is replacing it by "\\<^const>Product_Type.Unity", but 
> that feels very ad-hoc to me (I'm not sure where the \<^const> comes 
> from), so I haven't committed it yet.

The SML antiquotation @{const_syntax Unity} should do the trick.


More information about the isabelle-dev mailing list