> Here a bisect would be helpful when this came to happen > actually (or is it already present in Isabelle2013).
This one already goes wrong in Isabelle2013. > > Cheers, > Florian > _______________________________________________ isabelle-dev mailing list isabelle-...@in.tum.de https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
