Dear power users of the bit and word libraries, I have finished polishing the bit and word material as envisaged before the next Isabelle release.
The changes are by no means as invasive as for the last Isabelle
release, but you might check your existing applications against before
the upcoming release – there is still time for corrections and improvements.
Cheers,
Florian
OpenPGP_signature
Description: OpenPGP digital signature
_______________________________________________ isabelle-dev mailing list [email protected] https://mailman46.in.tum.de/mailman/listinfo/isabelle-dev
