On 02/01/2021 10:03, Lars Hupel wrote: >> In Isabelle/38528017e4c8 there is some more verbosity, to see where it gets >> stuck --- if it is repeatable at all. > > It still gets stuck. I have managed to reproduce the problem locally, and will come back with a suitable change soon. Makarius