[isabelle] HOLCF was: Re: Announcing Isabelle2011



Am 31.01.2011 11:00, schrieb Makarius:
> Isabelle2011 is now available.
[...]
> 
> * HOLCF: reorganization of library and related tools.

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

Thanks Christian





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