Re: [isabelle] Well-foundedness of Relational Composition



Christian,

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.)

Best,
Tjark






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