[Isarmathlib-devel] what do I download for ZF and where do I put it?

[Jim Kingdon]

I'm trying to follow the installation instructions for Isabelle and
isarmathlib and I got as far as:

$ isabelle make
Running ZF-IsarMathLib ...
Unknown logic "ZF" -- no heap file found in:
  /home/jkingdon/.isabelle/Isabelle2011-1/heaps/polyml-5.4.0_x86-linux
  /home/jkingdon/net/math/isabelle/Isabelle2011-1/heaps/polyml-5.4.0_x86-linux
ZF-IsarMathLib FAILED
(see also
/home/jkingdon/.isabelle/Isabelle2011-1/heaps/polyml-5.4.0_x86-linux/log/ZF-IsarMathLib)

According to the INSTALL file I need ZF_*.tar.gz but I don't see that on
the isabelle web site. I just found things like
https://www.cl.cam.ac.uk/research/hvg/Isabelle/dist/library/ZF/ZF.html
which isn't a tarfile.

I'm using Isabelle2011-1 and IsarMathLib 1.7.2.