[isabelle-dev] Towards the next release
Thomas.Sewell at nicta.com.au
Mon Mar 5 00:10:45 CET 2012
We have a somewhat useful tool for expanding word equalities/inequalities bitwise, based on a part of some work Sascha and I did back in 2010. I've been meaning to push it up to the distribution for years, this will probably be a good time.
The main reason I'm telling you this is that I'm now more likely to actually do it.
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