[isabelle] Modifying syntax of imported theories?


Is there any way to modify/delete the syntax defined for some constants
that one imports from another theory?

I import some theory and would like to place the binding level of most
of my syntax between two constants which are declared using the same

Christian Doczkal

Attachment: smime.p7s
Description: S/MIME cryptographic signature

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