[isabelle-dev] HOL/Examples vs HOL/ex
lp15 at cam.ac.uk
Sun Jan 30 13:07:19 CET 2022
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?
More information about the isabelle-dev