Am 01.10.22 um 12:54 schrieb Makarius:
On 30/09/2022 20:44, Peter Lammich wrote:
... I'm still waiting for Florian (author of signed_divide change), or a
general OK such that I can factor out a syntactic signed_divide typeclass.
OK. It is up to Florian to tell when he is finished with it.
On 01/10/2022 18:57, Florian Haftmann wrote:
> Now done in a7ccb744047b.
Is there anything to say about it in NEWS?
Makarius
_______________________________________________
isabelle-dev mailing list
[email protected]
https://mailman46.in.tum.de/mailman/listinfo/isabelle-dev
