[isabelle-dev] AFP/MFMC_Countable still failing

[Makarius]

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