[isabelle-dev] Incoherent use of file name "hoare_syntax.ML"
lars at hupel.info
Sat Jan 2 10:03:18 CET 2021
> In Isabelle/38528017e4c8 there is some more verbosity, to see where it gets
> stuck --- if it is repeatable at all.
It still gets stuck.
More information about the isabelle-dev