[isabelle-dev] Word Libraries
florian.haftmann at informatik.tu-muenchen.de
Tue Aug 10 17:34:11 CEST 2021
Dear power users of the bit and word libraries,
I have finished polishing the bit and word material as envisaged before
the next Isabelle release.
The changes are by no means as invasive as for the last Isabelle
release, but you might check your existing applications against before
the upcoming release – there is still time for corrections and improvements.
-------------- next part --------------
A non-text attachment was scrubbed...
Size: 228 bytes
Desc: OpenPGP digital signature
More information about the isabelle-dev