Re: [isabelle] Problems with code-datatype
> 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