In Isabelle/38528017e4c8 there is some more verbosity, to see where it gets stuck --- if it is repeatable at all.
It still gets stuck. _______________________________________________ isabelle-dev mailing list [email protected] https://mailman46.in.tum.de/mailman/listinfo/isabelle-dev
