> On 7 Sep 2018, at 19:18, Makarius <makar...@sketis.net> wrote: > > I can't try it out, since theory "Explorer" is missing.
Attached. A very cool thing.
Explorer.thy
Description: Binary data
> For 16 GB, I usually run Poly/ML in 32-bit mode How do you do that? Larry
_______________________________________________ isabelle-dev mailing list isabelle-...@in.tum.de https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
