[isabelle-dev] AFP failures in sessions ConcurrentGC, MonoBoolTranAlgebra, Presburger-Automata, Vickrey_Clarke_Groves

Johannes Hölzl hoelzl at in.tum.de
Mon Nov 16 11:21:16 CET 2015

Am Sonntag, den 15.11.2015, 11:43 +0100 schrieb Andreas Lochbihler:
> Vickey_Clarke_Groves looks related to the changes to "real", but I
> have not tried to fix this.

This should be fixed now in AFP e6d87060e398.

 - Johannes

More information about the isabelle-dev mailing list