Re: [isabelle] Well-foundedness of Relational Composition


Thank you for the detailed literature search. Of course, I am all for
adding the much more general lemma to Wellfounded.thy.

I can try to complete the formal proof later this week. (If somebody
else wants to go ahead with this right now, I certainly don't mind.)


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