[isabelle-dev] HOL-ex.Sketch_and_Explore

Makarius makarius at sketis.net
Wed Mar 20 10:56:47 CET 2024

On 18/03/2024 16:11, Lawrence Paulson wrote:
> Many thanks for making those improvements!
> It's so useful, I wonder why more people do not use it.

So how about an entry in NEWS for the coming release?


More information about the isabelle-dev mailing list