[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.

Larry



More information about the isabelle-dev mailing list