[isabelle] c-parse release for Isabelle2013
We're pleased to announce the release of our C-to-Isabelle/Simpl parser for Isabelle 2013.
It is available from:
Apart from porting to Isabelle 2013, we Michael has added support for the C99 _Bool type.
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