[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.