[isabelle] antiquotation for a class



Hi,

I use @{class pt} and expect that Isabelle would detail the definition
but it only prints

  pt

Can I make Isabelle to print out the whole definition for a class?

- Gergely




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