[isabelle-dev] performance problems

[Lawrence Paulson]

> On 7 Sep 2018, at 19:18, Makarius <makarius at sketis.net> wrote:
> 
> I can't try it out, since theory "Explorer" is missing.

Attached. A very cool thing. 
-------------- next part --------------
A non-text attachment was scrubbed...
Name: Explorer.thy
Type: application/octet-stream
Size: 1956 bytes
Desc: not available
URL: <https://mailman46.in.tum.de/pipermail/isabelle-dev/attachments/20180907/9075522b/attachment-0002.obj>
-------------- next part --------------


> For 16 GB, I usually run Poly/ML in 32-bit mode

How do you do that?

Larry