Email Gateway (Sep 08 2026 at 08:28): Email Gateway (Sep 08 2026 at 08:28):From: Lawrence Paulson via isabelle-dev <isabelle-dev@mailman.proof.cit.tum.de>
There seem to be quite a few changes to this session, including the renaming of a number of theorems, but no corresponding entry in the NEWS file.
Larry
Last updated: Sep 15 2026 at 09:19 UTC