[isabelle-dev] Word Libraries

Florian Haftmann 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...
Name: OpenPGP_signature
Type: application/pgp-signature
Size: 228 bytes
Desc: OpenPGP digital signature
URL: <https://mailman46.in.tum.de/pipermail/isabelle-dev/attachments/20210810/35287b0f/attachment.sig>

More information about the isabelle-dev mailing list