[isabelle-dev] Word Libraries

[Florian Haftmann]

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.

Cheers,
	Florian

-------------- 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>