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 _______________________________________________ isabelle-dev mailing list isabelle-...@in.tum.de https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
