Is there anything to say about it in NEWS?
Not that sure about it. But since the matter incited significant discussion, here it is:
--* HOL-Library.Signed_Division: class signed_division carries assumptions; use syntactic type classes signed_division and signed_modulo alternatively.
--
Florian
OpenPGP_0xA707172232CFA4E9.asc
Description: OpenPGP public key
OpenPGP_signature
Description: OpenPGP digital signature
_______________________________________________ isabelle-dev mailing list [email protected] https://mailman46.in.tum.de/mailman/listinfo/isabelle-dev
