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>")
This archive was generated by a fusion of
Pipermail (Mailman edition) and