> I will produce Isabelle2018-RC1 later today, maybe in approx. 3h. > > For that I also need a version of AFP that works. According to <https://devel.isa-afp.org/status.html>, the latest known-good version (except for the "slow" sessions) is Isabelle/1b9462304e1d AFP/2af750da996c