[isabelle] AFP now has an ISSN: 2150-914x

Please note that we have obtained the ISSN 2150-914x for the Archive of
Formal Proofs afp.sf.net. As this gives the AFP a more recognized
status, it might make submission more attractive...


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