[isabelle] Bit operations and word type

Hi all,

I want to give an overview about the current matter of affairs
concerning my iterative remoulding of bit operations and the word type.

The current iteration comes with substantial changes, which, although
intended to be as backward-compatible as possible, might result in
unforeseen issues in dependent applications.

Hence I want to expose the proposed changes as preview, to excite early
feedback from bit and word power users before the next Isabelle release.

The relevant resources are available from:


Looking forward to your feedback,

Attachment: signature.asc
Description: OpenPGP digital signature

This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.