[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