[isabelle] Update of AFP entry: Well-Quasi-Orders
- To: cl-isabelle-users at lists.cam.ac.uk
- Subject: [isabelle] Update of AFP entry: Well-Quasi-Orders
- From: Christian Sternagel <c-sterna at jaist.ac.jp>
- Date: Thu, 14 Jun 2012 15:55:50 +0900
- In-reply-to: <4F93CE7B.email@example.com>
- References: <4F93CE7B.firstname.lastname@example.org>
- User-agent: Mozilla/5.0 (X11; Linux x86_64; rv:13.0) Gecko/20120605 Thunderbird/13.0
I recently updated my wqo entry which now also contains a formalization
of Kruskal's tree theorem.
Note that this update is currently only available in the development
version (until the next release).
This archive was generated by a fusion of
Pipermail (Mailman edition) and