[isabelle] datatype antiquotation

Hi there,

is there a way to rename type parameters in a datatype antiquotation? (I didn't succeed in finding any documentation on this specific antiquotation.)

I have

datatype ('f,'v)term = Var 'v | Term 'f "('f,'v)term list"

but for document preparation I want (using the perl script pretty_typvar, that Alexander provided me) to have nice Greek letters. However, there is no Greek letter for "v", and something like "(\<phi>,\<nu>)term" does look awkward. I would prefer "(\<alpha>,\<beta>)term".

thnx in advance



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