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 <florian.haftmann@informatik.tu-muenchen.de>
Dear all,

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
http://isabelle.in.tum.de/~haftmann/bits_and_word/

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.

Cheers,
Florian
signature.asc


Last updated: Dec 05 2021 at 23:19 UTC