[isabelle] UnequalLengths in friend_of_corec



Hallo,

I am still experiencing some problems with friend_of_corec: It occasionally produces "UnequalLength" exceptions and I have no idea why. For an example, see the end of the attached file.

Cheers,

Manuel

Attachment: Foo.thy
Description: application/extension-thy



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