[isabelle] Isabelle 2011: where is ZF logic?



The Isabelle2011 bundle for Linux at http://www.cl.cam.ac.uk/research/hvg/Isabelle/dist/Isabelle2011_bundle_x86-linux.tar.gz contains only HOL and Pure heaps in heaps/polyml-5.4.0_x86-linux. How one can get the ZF heap?

Slawomir Kolodynski




      





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