[isabelle] Modifying syntax of imported theories?



Hello

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
priority.


-- 
Gruß
Christian Doczkal

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



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