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
_______________________________________________
isabelle-dev mailing list
[email protected]
https://mailman46.in.tum.de/mailman/listinfo/isabelle-dev
