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 overview. Cheers, Florian
signature.asc
Description: OpenPGP digital signature
_______________________________________________ isabelle-dev mailing list [email protected] https://mailman46.in.tum.de/mailman/listinfo/isabelle-dev
