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
