[isabelle] conditional equations and code generation



Hi all,

In `isabelle doc functions` it is correctly stated that code generation does not handle conditional equations. Just for fun I tried it anyway and found it a bit strange to not get an error (instead the code does just not contain the conditional equation). I think raising an error would be more appropriate. What do you think?

cheers

chris





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