[isabelle-dev] HOL/Examples vs HOL/ex

Lawrence Paulson lp15 at cam.ac.uk
Sun Jan 30 13:07:19 CET 2022

Previous message (by thread): [isabelle-dev] polyml-test-15c840d48c9a with updated ARM64 code-generator
Next message (by thread): [isabelle-dev] HOL/Examples vs HOL/ex
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

It’s confusing that we have these two examples directories. Isn’t it time they were amalgamated, and perhaps some of the material moved elsewhere?

Larry

Previous message (by thread): [isabelle-dev] polyml-test-15c840d48c9a with updated ARM64 code-generator
Next message (by thread): [isabelle-dev] HOL/Examples vs HOL/ex
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the isabelle-dev mailing list