[isabelle] datatype antiquotation
is there a way to rename type parameters in a datatype antiquotation? (I
didn't succeed in finding any documentation on this specific antiquotation.)
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
thnx in advance
This archive was generated by a fusion of
Pipermail (Mailman edition) and