[isabelle] König's Lemma?



Hi everyone,

does there exists a formalization of König's Lemma in Isabelle/HOL?
Grepping the standard library and the AFP did not get me any matches.

 -- Lars





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