Re: [isabelle] Trying to fix pretty printing for "syntax" & "translations"



I figured out some things, and the problem changed a little, so this question can be disregarded.

Where I needed to use "sT list" changed, and I figured out how to use "args" with something like this:

syntax "_fiS" :: "sT => sT => args => sT" ("\<lbrace>(_,_,_)\<rbrace>")

Thanks,
GB





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