Re: [isabelle] datatype_compat in Isabelle2018-RC0

>> Hm, I had tried that before and it failed. Let me get back to you.
> Your type has very few constructors. Another option, which is always available, is to define the "size" instance yourself. The "size" plugin (old or new) is doing very little.

That would have been my fall-back solution, yes.


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