[isabelle] Update of AFP entry: Well-Quasi-Orders



Dear all,

I recently updated my wqo entry which now also contains a formalization of Kruskal's tree theorem.

http://afp.sourceforge.net/devel-entries/Well_Quasi_Orders.shtml

Note that this update is currently only available in the development version (until the next release).

cheers

chris





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