[isabelle-dev] Incoherent use of file name "hoare_syntax.ML"

Lars Hupel lars at hupel.info
Sat Jan 2 10:03:18 CET 2021

Previous message (by thread): [isabelle-dev] Incoherent use of file name "hoare_syntax.ML"
Next message (by thread): [isabelle-dev] Incoherent use of file name "hoare_syntax.ML"
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

> In Isabelle/38528017e4c8 there is some more verbosity, to see where it gets
> stuck --- if it is repeatable at all.

It still gets stuck.

Previous message (by thread): [isabelle-dev] Incoherent use of file name "hoare_syntax.ML"
Next message (by thread): [isabelle-dev] Incoherent use of file name "hoare_syntax.ML"
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the isabelle-dev mailing list