Stream: Mirror: Isabelle Users Mailing List

Topic: [isabelle] State of affairs with words

view this post on Zulip Email Gateway (Nov 30 2020 at 18:57):

From: Florian Haftmann <>
Dear all,

the upcoming 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: Jan 25 2022 at 01:11 UTC