As of Isabelle/dd6cd88cebd9 + AFP/8186added238, MFMC_Countable is still failing.
As a new entry it might be actually easy to upgrade. Afterwards we might be back to the rare situation where Isabelle + AFP fully work. Makarius _______________________________________________ isabelle-dev mailing list isabelle-...@in.tum.de https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev