In principle the AFP is ready to fork afp-2022, but it might make sense to wait for Florian’s mod/div type class changes to come in.
To conclude this thread also: done in a7ccb744047b.
Cheers,
Florian
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
