[isabelle] New AFP entry: Hall's Marriage Theorem



http://afp.sourceforge.net/entries/Marriage.shtml





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