Re: [isabelle] (structure) and \<index>
thanks, this corresponds to what I assumed.
But what's the influence of this "argument" it looks like it's intended
to hold different instances apart, but how?
Am 30.10.13 11:22, schrieb Lars Noschinski:
Don't display as intended. You get two down arrows with regular size
text in between. If you have a lot of those (like in Algebra/Module for
example) it makes things really hard to read.
What do you mean by "broken"?
This archive was generated by a fusion of
Pipermail (Mailman edition) and