Re: [isabelle] Modifying syntax of imported theories?

Christian Doczkal wrote:
> 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.
Have you tried using the
declaration ?

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