[isabelle] Output panel term printing



Dear list,

I have a question regarding the printing of terms in the Output panel of
Isabelle jedit.
Whenever I have a term such as
   term "Îx. (0 â x)"
this gets rewritten as
   "op â 0"
Is there a way to turn off this printing and see the term as it is defined?

Best regards,
Iulia Dragomir





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