[isabelle-dev] HOL-ex

Lawrence Paulson lp15 at cam.ac.uk
Mon Jun 1 10:48:53 CEST 2020

I was definitely not proposing subdirectories of ex. Rather I was proposing multiple directories, if there are enough related items to make a meaningful collection.


> On 31 May 2020, at 22:52, Makarius <makarius at sketis.net> wrote:
>> Conceivably it could be subdivided, as it seems to have 94 entries.
> Now might be actually a good time to disallow sub-directories of a session
> directory. They have accumulated a lot of confusion and problems in the past
> decades.

More information about the isabelle-dev mailing list