[isabelle-dev] HOL-ex

Lawrence Paulson lp15 at cam.ac.uk
Sun May 31 21:19:31 CEST 2020

Tobias has pointed out that directory ex is easily overlooked these days and perhaps we should rename it, e.g. to Examples. Any comments? Conceivably it could be subdivided, as it seems to have 94 entries.


More information about the isabelle-dev mailing list