Am 27.12.2011 um 13:03 schrieb Florian Haftmann: > There is a failure in Nitpick_Examples which is neither reproducible on > macbroy2 nor my local machine: > http://isabelle.in.tum.de/reports/Isabelle/report/14fe4e1bd31f4a9fab112f57669a1de5 > > Maybe Jasmin can comment on this? Yes, but after New Year's. Jasmin