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

Makarius makarius at sketis.net
Sat Oct 1 12:54:12 CEST 2022


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.


	Makarius



More information about the isabelle-dev mailing list