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
  no_notation
declaration ?






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