Re: [isabelle] HOLCF was: Re: Announcing Isabelle2011



Christian Maeder wrote:
Isabelle2011 is now available.

How should I build HOLCF now? Where should I get the sources from?

Isabelle2011/build -m HOLCF

Alex





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