[isabelle] Hyperlinked ZF?

There are http://isarmathlib.org/ which presents hyperlinked theories based on Isabelle/ZF but in that site is missing presentation of ZF core.
Are there anywhere a hyperlinked presentation of Isabelle/ZF?
Or maybe I can build it myself, can't I?
Victor Porton - http://portonvictor.org

This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.