Stream: Archive Mirror: Isabelle Users Mailing List

Topic: [isabelle] Isabelle 2011: where is ZF logic?

view this post on Zulip Email Gateway (Aug 18 2022 at 17:12):

From: Slawomir Kolodynski <skokodyn@yahoo.com>
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

view this post on Zulip Email Gateway (Aug 18 2022 at 17:12):

From: Makarius <makarius@sketis.net>
Isabelle2011/build ZF

Makarius

Last updated: Nov 21 2024 at 12:39 UTC