[isabelle-dev] Isabelle2022-RC3 with repository fork: Sunday 02-Oct-2022 12:00 UTC

Makarius makarius at sketis.net
Thu Oct 6 14:41:49 CEST 2022

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


More information about the isabelle-dev mailing list