[isabelle-dev] AFP/MFMC_Countable still failing

Makarius makarius at sketis.net
Mon May 30 23:28:20 CEST 2016

As of Isabelle/dd6cd88cebd9 + AFP/8186added238, MFMC_Countable is still

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.


More information about the isabelle-dev mailing list