[isabelle] Hiding type class syntax



Dear list,

is there a way to hide syntax stemming from type classes?
In particular, I want to remove the syntax for infinity from Extended_Nat.
I tried

no_syntax infinity :: "'a"  ("â") and
no_syntax infinity :: "'a :: infinity"  ("â"),

but to no avail.

Simon



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