Re: [isabelle] datatype_compat in Isabelle2018-RC0

Hi Gerwin,

> 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.



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