Re: [isabelle] Precedences question



Hi Nicole,

On Tuesday 13 March 2007, Nicole Rauch wrote:
> syntax
>   "_tau" :: "Value \<Rightarrow> Javatype" ("\<tau> _" 1000)
>
> translations
>   "\<tau> v" == "typeof v"
[..]
> How can I define the syntax to behave in the same way as the original
> function?

The easiest way to do that is:

syntax
  "_tau" :: "Value \<Rightarrow> Javatype" ("\<tau>")

Cheers,
Gerwin





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