[isabelle] Calling Mixfix.pretty_mixfix



Hi,

I'm trying to call Mixfix.pretty_mixfix in ML mode, but it complains
about Mixfix being not declared. Does anyone know why? In fact, I get
the error for all structures in Pure/Syntax. Is it somehow not
included in the image? Is there a setting somewhere I need to change?

Any help will be greatly useful. Thanks.
John





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