On 06/10/2022 14:36, Florian Haftmann wrote:
Is there anything to say about it in NEWS?* HOL-Library.Signed_Division: class signed_division carries assumptions; use syntactic type classes signed_division and signed_modulo alternatively.
OK. See now https://isabelle.sketis.net/repos/isabelle-release/rev/7eedccabbc74 Makarius _______________________________________________ isabelle-dev mailing list [email protected] https://mailman46.in.tum.de/mailman/listinfo/isabelle-dev
