[isabelle-dev] Bits and Words – Current matter of affairs

Florian Haftmann florian.haftmann at informatik.tu-muenchen.de
Thu Sep 17 14:40:30 CEST 2020

Dear all,

as of rev. 58bc7e81bc7f, the last step in a series of continous
remoulding of the bits and words matter has been accomplished in the
Isabelle distribution.

Beside minor detail, this represents the envisaged state for the next
Isabelle release.

After that, the aim is to
* provide a self-contained Word theory in session HOL-Library;
* move any additional theory to Word_Lib in the AFP;
* accomplish a minimal structuring of the historically grown Word_Lib.

The ultimate goal is that future development can happen mostly in the AFP.

See http://isabelle.in.tum.de/~haftmann/bits_and_word/ for a detailed


-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 228 bytes
Desc: OpenPGP digital signature
URL: <https://mailman46.in.tum.de/pipermail/isabelle-dev/attachments/20200917/a5b7798c/attachment.sig>

More information about the isabelle-dev mailing list