[isabelle] AFP 2013-2 released



The Archive of Formal proofs is now available for Isabelle2013-2 at [http://afp.sf.net].

Cheers,
Gerwin

________________________________

The information in this e-mail may be confidential and subject to legal professional privilege and/or copyright. National ICT Australia Limited accepts no liability for any damage caused by this email or its attachments.




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