[isabelle-dev] Towards the Isabelle2014 release
Gerwin.Klein at nicta.com.au
Wed Jun 11 10:11:52 CEST 2014
On 11.06.2014, at 2:56 pm, Thomas Sewell <thomas.sewell at nicta.com.au> wrote:
> Gerwin will push the isabelle hypsubst change to the testboard now (assuming he can remember how).
He could and did.
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.
More information about the isabelle-dev