From: Florian Haftmann <firstname.lastname@example.org>
the upcoming Isabelle2021-RC0
https://isabelle.in.tum.de/website-Isabelle2021-RC0/ contains a
substantial reworking of the matter of bits and words.
See Guide.thy in session Word_Lib in the AFP and for detail
The RC is a good opportunity to a have look at it if you are a power
user of words.
My plan is to keep the matter stable until the release converges, with
the exception of theorems still moving around within existing theories
in the AFP.
Last updated: Dec 05 2021 at 23:19 UTC