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

On Sat, 5 Feb 2011, Slawomir Kolodynski wrote:

The Isabelle2011 bundle for Linux at contains only HOL and Pure heaps in heaps/polyml-5.4.0_x86-linux. How one can get the ZF heap?

Isabelle2011/build ZF


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