Re: [isabelle] Problems with code-datatype

Hi Andreas,

> However, this does not solve your problem with duplicate testing. In a follow-up thread, Joachim describes a solution to avoid duplicate tests:

thanks for this reference. Joachim's solution can perfectly be adapted to our application, and indeed now we also require only one test.


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