Now done in a7ccb744047b. 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. Makarius _______________________________________________ isabelle-dev mailing list [email protected] https://mailman46.in.tum.de/mailman/listinfo/isabelle-dev
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
