[isabelle] AFP 2013-2 released
- To: USR Isabelle Mailinglist <isabelle-users at cl.cam.ac.uk>
- Subject: [isabelle] AFP 2013-2 released
- From: Gerwin Klein <Gerwin.Klein at nicta.com.au>
- Date: Wed, 11 Dec 2013 10:28:38 +0000
- Accept-language: en-AU, en-US
- Thread-index: AQHO9lvBoCzHi/5AMEetfoZX4AnMcw==
- Thread-topic: AFP 2013-2 released
The Archive of Formal proofs is now available for Isabelle2013-2 at [http://afp.sf.net].
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