From: Gerwin.Klein@data61.csiro.au The afp-2018 fork has now happened and any new commits to the development version of the AFP will go into the release after Isabelle2018.
Cheers, Gerwin
Last updated: May 06 2024 at 20:16 UTC